Kevin J. Compton. A Deductive System for Existential Least Fixpoint Logic. Journal of Logic and Computation, 3(2):197-213, 1993.
@article{Compton93, title = {A Deductive System for Existential Least Fixpoint Logic}, author = {Kevin J. Compton}, year = {1993}, tags = {logic}, researchr = {https://researchr.org/publication/Compton93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {3}, number = {2}, pages = {197-213}, }