A direct proof of the completeness of SLDNF-resolution
From MaRDI portal
Publication:4238483
DOI10.1093/LOGCOM/9.1.47zbMath0915.68021OpenAlexW1984818618MaRDI QIDQ4238483
No author found.
Publication date: 30 March 1999
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://doc.rero.ch/record/303432/files/090047.pdf
This page was built for publication: A direct proof of the completeness of SLDNF-resolution
