Termination proofs for logic programs (1990)

by L Plümer
Venue:Lecture Notes in Artificial Intelligence