Completeness and confluence properties of Kowalski's clause graph calculus - Smolka, Gert 1955- (Universität <Karlslruhe> / Fakultät für Informatik: Interner Bericht, 1982)