Rewrite systems (1990)

by Nachum Dershowitz , Jean-Pierre Jouannaud
Venue:CHAPTER 6 OF HANDBOOK OF THEORETICAL COMPUTER SCIENCE VOLUME B: FORMAL METHODS AND SEMANTICS, J. VAN LEEUWEN, ED.
Citations:779 - 24 self