A calculus for rippling

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_2 ◽

1995 ◽

pp. 15-30 ◽

Author(s):

David A. Basin ◽

Toby Walsh

Download Full-text