"Ensuring Global Termination of Partial Deduction while Allowing Flexible ..."

Bern Martens, John P. Gallagher (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics