Title: Completeness, confluence, and related properties of clause graph resolution
Subjects: Artificial intelligence, Graph theory