Proving termination of input-consuming logic programs (1999)

by J G Smaus
Venue:16th International Conference on Logic Programming