Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Egon Börger — 1974 Archiv für mathematische Logik und Grundlagenforschung
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen. Egon Börger — 1978 Archiv für mathematische Logik und Grundlagenforschung