A new definition of SLDNF-resolution

Open Access
Authors
Publication date 1994
Journal Journal of Logic Programming
Volume | Issue number 18 | 2
Pages (from-to) 177-190
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.1016/0743-1066(94)90051-5
Downloads
Permalink to this page
Back