Tadashi Kawamura Tadashi Kanamori Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. 139-156 1990 75 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs75.html#KawamuraK90