Hajnal Andréka, William Craig, István Németi. A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. Journal of Symbolic Logic, 53(3):834-839, 1988.
No references recorded for this publication.
No citations of this publication recorded.