ML Anthology

Ligeza, Antoni

1 publications

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