Proving Termination of General Prolog Programs

TitleProving Termination of General Prolog Programs
Publication TypeConference Paper
Year of Publication1991
AuthorsApt, KR, Pedreschi D
Conference NameTACS
  • Biblio Keywords: