Rewrite Systems

Computing with Rewrite Systems

Nachum Dershowitz (article, 1985)

Logic Programming cum Applicative Programming

Nachum Dershowitz and David A. Plaisted (inproceedings, 1985)

Rewrite Systems

Nachum Dershowitz and Jean-Pierre Jouannaud[J. van Leeuwen (ed)] (incollection, 1990)

An Abstract Concurrent Maschine for Rewriting

Nachum Dershowitz and Naomi Lindenstrauss (inproceedings, 1990)

A Taste of Rewrite Systems

Nachum Dershowitz (misc, 1993)

Term Rewriting Systems

Jan Willem Klop[S. Abramsky and D. M. Gabbay and T. S. E. Maibaum (ed)] (InCollection, 1990)

Enumerating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems

J-H.~You (article, 1989)