A Transformation Based on the Equality between Terms

Logic Program Synthesis and Transformation - Workshops in Computing ◽

10.1007/978-1-4471-3234-9_15 ◽

1994 ◽

pp. 162-176 ◽

Author(s):

Ulrich Neumerkel

Download Full-text