@article{stramaglia_unfolding_2024,
    title = {{Unfolding State Variables Improves Model Checking}},
    author = {Stramaglia, Anna and Keiren, Jeroen J. A. and Neele, Thomas},
    year = {2024},
    publisher = {Elsevier},
    journal = {},
    pages = {},
    volume = {},
    number = {},
    doi = {},
}