Term Rewriting Systems (2003)

by editor TeReSe