Rewrite Systems

Nachum Dershowitz, Jean-Pierre Jouannaud. Rewrite Systems. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 243-320, 1990.

Bibliographies