Preservation of Stronger Equivalence in Unfold/Fold Logic Programming Transformation (1988)

by T Kawamura, T Kanamori
Venue:In Future Generation Computer Systems