Martin Wirsing: Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Arch. Math. Log. 19(1): 97-109 (1978)