On the Termination of Clause Graph Resolution.

C. A. Johnson On the Termination of Clause Graph Resolution. 83-115 1994 13 J. Autom. Reasoning 1 db/journals/jar/jar13.html#Johnson94