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
Bounded statements in the theory of algebraically closed fields with distinguished automophisms. Moshe Jarden, Dan Haran (1982) Journal für die reine und angewandte Mathematik