Construction of Logic programs Based on Generalized Unfold/Fold Rules (1988)

by T KANAMORI, K HORIUCHI
Venue:Proc. 4th Int. Conf. on Logic Programming, The MIT Press, Series in Logic Programming