A transformation based on the equality between terms (1993)

by U Neumerkel
Venue:in Logic Programming Synthesis and Transformation, LOPSTR'93