@article{neele_operations_2024,
    title = {{Operations on Fixpoint Equation Systems}},
    author = {Neele, Thomas and van de Pol, Jaco},
    year = {2024},
    publisher = {},
    journal = {LMCS},
    pages = {},
    volume = {20},
    number = {3},
    doi = {10.46298/lmcs-20(3:5)2024},
}