A Transformation Based on the Equality between Terms (1993)

by Ulrich Neumerkel
Venue:Logic Program Synthesis and Transformation, Proceedings of LOPSTR '93, Louvain-la-Neuve, Belgium, Workshops in Computing
Citations:5 - 1 self