A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.

Maurice Bruynooghe Danny De Schreye Bern Martens A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. 117-131 1991 ISLP db/conf/slp/slp91.html#BruynoogheSM91