Computing with rewrite systems (1985)

by N Dershowitz
Venue:Information and Control