rewriting systems, Cambridge Tracts in Theoretical (2003)

by Term Terese
Venue:Computer Science