@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}, }