Andreas Blass, Yuri Gurevich. Existential Fixed-Point Logic. In Egon Börger, editor, Computation Theory and Logic, In Memory of Dieter Rödding. Volume 270 of Lecture Notes in Computer Science, pages 20-36, Springer, 1987.
No references recorded for this publication.
No citations of this publication recorded.