On the Relation Between Resolution Based and Completion Based Theorem Proving.

Rolf Socher On the Relation Between Resolution Based and Completion Based Theorem Proving. 129-147 1991 11 J. Symb. Comput. 1/2 db/journals/jsc/jsc11.html#Socher91