Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (1995)

by B Martens, J Gallagher
Venue:In Proc. of the 12th Int’l Conf. on Logic Programmin (ICLP’95