A Core Language for Rewriting (0)

by E Visser, Z Benaissa
Venue:In Kirchner and Kirchner [KK98