Proving termination of input-consuming logic programs (1999)

by J-G Smaus
Venue:In D. De Schreye (editor), Proc. 16th International Conference on Logic Programming