Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.

Bern Martens, John P. Gallagher

Browse the full ICLP paper archive.