Completeness, confluence, and related properties of clause graph resolution /
Eisinger, Norbert.
London : Pitman,
1991.
Includes bibliographical references and index.
Artificial intelligence.
Graph theory.