Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth - Fenske, Christian Clemens (Westdt. Verl., 1966)