@article{stramaglia_unfolding_2025, title = {{Unfolding State Variables Improves Model Checking}}, author = {Stramaglia, Anna and Keiren, Jeroen J. A. and Neele, Thomas}, year = {2025}, publisher = {Elsevier}, journal = {}, pages = {}, volume = {1038}, number = {}, doi = {10.1016/j.tcs.2025.115181}, }