Proving Termination Properties of Prolog Programs: A Semantic Approach (1988)

by M Baudinet
Venue:In Proc. Third IEEE Symp. on Logic In Computer Science