On the Completeness of SLDENF-Resolution.

Michael Thielscher On the Completeness of SLDENF-Resolution. 199-214 1996 17 J. Autom. Reasoning 2 db/journals/jar/jar17.html#Thielscher96