Prefix classes of krom formulae with identity
Stal O. Aanderaa, Egon Börger, Yuri Gurevich
DOI: 10.1007/bf02318025
Journal: Archiv für Mathematische Logik und Grundlagenforschung
ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds
Journal Info
Journals:
ISSN 0003-9268