Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Martin Wirsing (1978) Archiv für mathematische Logik und Grundlagenforschung