Modular Termination Proofs for Logic and Pure Prolog Programs

Authors
Publication date 1994
Host editors
  • G. Levi
Book title Advances in Logic Programming Theory
Pages (from-to) 183-229
Publisher Oxford: Oxford University Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back