Loop Checking in Partial Deduction (1993)

by R Bol
Venue:Journal of Logic Programming