N. Dershowitz (1981). "Termination of linear rewriting systems: Preliminary version". In Shimon Even; Oded Kariv (eds.).
Proc. ICALP.
LNCS. Vol. 115. Springer. pp. 448–458.
Bachmair, L. & Dershowitz, N. (1987). "Completion for Rewriting Modulo a Congruence". In Lescanne, Pierre (ed.). Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87. LNCS. Vol. 256. Springer. pp. 192–203.
N. Dershowitz & G. Sivakumar (1988). "Solving Goals in Equational Languages". Proc. 1st Int. Workshop on Conditional Term Rewriting Systems. LNCS. Vol. 308. Springer. pp. 45–55.
N. Dershowitz & J.-P. Jouannaud (1990). "Rewrite Systems". In
Jan van Leeuwen (ed.). Formal Models and Semantics. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
N. Dershowitz & J.-P. Jouannaud (1990). "Notations for Rewriting". {{
cite journal}}: Cite journal requires |journal= (
help)
Dershowitz, N. and Jouannaud, J.-P. and
Jan Willem Klop (1991). "Open Problems in Rewriting". In
Ronald V. Book (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91. LNCS. Vol. 488. Springer. pp. 445–456.{{
cite book}}: CS1 maint: multiple names: authors list (
link)
Dershowitz, N. and Jouannaud, J.-P. and Klop, J.W. (1993). "More Problems in Rewriting". In Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93. LNCS. Vol. 690. Springer. pp. 468–487.{{
cite book}}: CS1 maint: multiple names: authors list (
link)
Nachum Dershowitz (Apr 1993). "Trees, Ordinals and Termination".
Proc. CAAP/TAPSOFT(PDF). LNCS. Vol. 668. Springer. pp. 243–250.
Dershowitz, N. & Hoot, C. (1993). "Topics in Termination". In Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93. LNCS. Vol. 690. Springer. pp. 198–212.
Dershowitz, N. (1997). "Innocuous Constructor-Sharing Combinations". In Comon, Hubert (ed.). Rewriting Techniques and Applications, 8th Int. Conf., RTA-97. LNCS. Vol. 1232. Springer. pp. 202–216.
Dershowitz, N. & Treinen, R. (1998). "An On-line Problem Database". In
Tobias Nipkow (ed.). Rewriting Techniques and Applications, 9th Int. Conf., RTA-98. LNCS. Vol. 1379. Springer. pp. 332–342.
Dershowitz, N. & Mitra, S. (1999). "Jeopardy". In Narendran, Paliath & Rusinowitch, Michaël (eds.). Rewriting Techniques and Applications, 10th Int. Conf., RTA-99. LNCS. Vol. 1631. Springer. pp. 16–29.
Dershowitz, N. (2005). "Term Rewriting and Applications". In Giesl, J. (ed.). Term Rewriting and Applications, 16th Int. Conf., RTA-05. LNCS. Vol. 3467. Springer. pp. 376–393.
ISBN978-3-540-25596-3.
Dershowitz, N. & Castedo Ellerman, E. (2005). "Leanest Quasi-orderings". In Giesl, J. (ed.). Term Rewriting and Applications, 16th Int. Conf., RTA-05. LNCS. Vol. 3467. Springer. pp. 32–45.
ISBN978-3-540-25596-3.