Meta-rule synthesis from crossed rewrite systems (1990)

by H Kirchner, M Hermann
Venue:2nd International Workshop on Conditional and Typed Rewriting Systems