Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.

François Bry Adnan H. Yahya Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. 35-82 2000 25 J. Autom. Reasoning 1 db/journals/jar/jar25.html#BryY00