Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln - Wirsing, Martin 1948- (1976)
München, Univ., Diss., 1976