A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.

Antoni Ligeza

Browse the full IJCAI paper archive.