Ensuring global termination of partial deduction while allowing flexible polyvariance (1995)

by B Martens, J Gallagher
Venue:Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming