@techreport{neele_operations_2023,
    title = {Operations on Fixpoint Equation Systems},
    author = {Neele, Thomas and van de Pol, Jaco},
    year = {2023},
    booktitle = {},
    pages = {arXiv:2304.07162},
    institution = {},
    series = {cs.LO},
    volume = {},
    doi = {10.48550/arXiv.2304.07162},
}