A New Definition of SLDNF-resolution
The Journal of Logic Programming
doi 10.1016/0743-1066(94)90051-5
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 1994
Authors
Publisher
Elsevier BV
Available in full text
February 1, 1994
Elsevier BV