Loop checking in partial deduction (1993)

by R Bol
Venue:The Journal of Logic Programming