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

Antoni Ligeza. A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. In IJCAI. pages 132-137, 1993.

Abstract

Abstract is missing.