A Deductive System for Existential Least Fixpoint Logic

Kevin J. Compton. A Deductive System for Existential Least Fixpoint Logic. Journal of Logic and Computation, 3(2):197-213, 1993.

Possibly Related Publications

The following publications are possibly variants of this publication: