Prefix classes of Krom formulae with identity. S.O. Aanderaa; E. Börger — 1982 Archiv für mathematische Logik und Grundlagenforschung
Die m-Grade logischer Entscheidungsprobleme. E. Börger; Klaus Heidler — 1975 Archiv für mathematische Logik und Grundlagenforschung