Construction of Logic Programs Based on Generalized Unfold/Fold Rules.

Tadashi Kanamori Kenji Horiuchi Construction of Logic Programs Based on Generalized Unfold/Fold Rules. 744-768 1987 ICLP db/conf/iclp/iclp87.html#KanamoriH87