Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen. Egon Börger (1978) Archiv für mathematische Logik und Grundlagenforschung