Rewriting Systems, volume 55 of Cambridge Tracts (2003)

by Term
Venue:in Theoretical Computer Science