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