Completeness and confluence properties of Kowalski's clause graph calculus - Smolka, Gert 1955- (1982)
Teilw. zugl.: Diss.
Keywords: Automatisches Beweisverfahren; Klauselgraph