Termination proofs for logic programs based on predicate inequalities (1990)

by L PLÜMER
Venue:In Proceedings of ICLP’90