Würdemann, N., Chatain, T., Haar, S., & Panneke, L. (2024). Taking Complete Finite Prefixes To High Level, Symbolically. Fundamenta Informaticae, 192(3-4), 313–361. https://doi.org/10.3233/FI-242196