Reasoning about Termination of Pure Prolog Programs

You are here

TitleReasoning about Termination of Pure Prolog Programs
Publication TypeJournal Article
Year of Publication1993
AuthorsApt, KR, Pedreschi, D
JournalInf. Comput.
Volume106
Issue1
Pagination109-157
Taxonomy upgrade extras: