Classes of Terminating Logic Programs

TitleClasses of Terminating Logic Programs
Publication TypeJournal Article
Year of Publication2001
AuthorsPedreschi, D, Ruggieri S, Smaus J-G
JournalCoRR
Volumecs.LO/0106
  • Biblio Keywords: