@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 = {Theoretical Computer Science},
    pages = {115181},
    volume = {1038},
    number = {},
    doi = {10.1016/j.tcs.2025.115181},
}