Antoni Ligeza. A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. In IJCAI. pages 132-137, 1993.
@inproceedings{Ligeza93, title = {A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems}, author = {Antoni Ligeza}, year = {1993}, tags = {rule-based, completeness, rules}, researchr = {https://researchr.org/publication/Ligeza93}, cites = {0}, citedby = {0}, pages = {132-137}, booktitle = {IJCAI}, }