Proving Termination of General Prolog Programs

You are here

TitleProving Termination of General Prolog Programs
Publication TypeConference Paper
Year of Publication1991
AuthorsApt, KR, Pedreschi, D
Conference NameTACS
Taxonomy upgrade extras: