Rewriting (English Wikipedia)

Gerard Huet, D.S. Lankford (Mar 1978). On the Uniform Halting Problem for Term Rewriting Systems (PDF) (Technical report). IRIA. p. 8. 283. Retrieved 16 June 2013.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.; Quesada, J.F. (2002). "Maude: Specification and programming in rewriting logic". Theoretical Computer Science. 285 (2): 187–243. doi:10.1016/S0304-3975(01)00359-0. hdl:11441/87265.
Yoshihito Toyama (1987). "Counterexamples to Termination for the Direct Sum of Term Rewriting Systems" (PDF). Inf. Process. Lett. 25 (3): 141–143. doi:10.1016/0020-0190(87)90122-0. hdl:2433/99946. Archived (PDF) from the original on 2019-11-13. Retrieved 2019-11-13.

heise.de (Global: 905^th place; English: 3,454^th place)

Riepe, Von Michael (November 18, 2009). "Pure – eine einfache funktionale Sprache". Archived from the original on March 19, 2011.

logic.at (Global: low place; English: low place)

Bernhard Gramlich (Jun 1993). "Relating Innermost, Weak, Uniform, and Modular Termination of Term Rewriting Systems". In Voronkov, Andrei (ed.). Proc. International Conference on Logic Programming and Automated Reasoning (LPAR). LNAI. Vol. 624. Springer. pp. 285–296. Archived from the original on 2016-03-04. Retrieved 2014-06-19. Here: Example 3.3

niigata-u.ac.jp (Global: low place; English: low place)

nue.ie.niigata-u.ac.jp

Yoshihito Toyama (1987). "Counterexamples to Termination for the Direct Sum of Term Rewriting Systems" (PDF). Inf. Process. Lett. 25 (3): 141–143. doi:10.1016/0020-0190(87)90122-0. hdl:2433/99946. Archived (PDF) from the original on 2019-11-13. Retrieved 2019-11-13.

ntu.ac.uk (Global: low place; English: low place)

irep.ntu.ac.uk

Sculthorpe, Neil; Frisby, Nicolas; Gill, Andy (2014). "The Kansas University rewrite engine" (PDF). Journal of Functional Programming. 24 (4): 434–473. doi:10.1017/S0956796814000185. ISSN 0956-7968. S2CID 16807490. Archived (PDF) from the original on 2017-09-22. Retrieved 2019-02-12.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Sculthorpe, Neil; Frisby, Nicolas; Gill, Andy (2014). "The Kansas University rewrite engine" (PDF). Journal of Functional Programming. 24 (4): 434–473. doi:10.1017/S0956796814000185. ISSN 0956-7968. S2CID 16807490. Archived (PDF) from the original on 2017-09-22. Retrieved 2019-02-12.
Wolfram, D. A. (1993). The Clausal Theory of Types. Cambridge University Press. pp. 47–50. doi:10.1017/CBO9780511569906. ISBN 9780521395380. S2CID 42331173.

tau.ac.il (Global: 3,866^th place; English: 3,877^th place)

cs.tau.ac.il

Klop, J. W. "Term Rewriting Systems" (PDF). Papers by Nachum Dershowitz and students. Tel Aviv University. p. 12. Archived (PDF) from the original on 15 August 2021. Retrieved 14 August 2021.
N. Dershowitz (1985). "Termination" (PDF). In Jean-Pierre Jouannaud (ed.). Proc. RTA. LNCS. Vol. 220. Springer. pp. 180–224. Archived (PDF) from the original on 2013-11-12. Retrieved 2013-06-16.; here: p.210

tum.de (Global: 6,595^th place; English: 8,480^th place)

www21.in.tum.de

Nipkow, Tobias; Prehofer, Christian (1998). "Higher-Order Rewriting and Equational Reasoning". In Bibel, W.; Schmitt, P. (eds.). Automated Deduction - A Basis for Applications. Volume I: Foundations. Kluwer. pp. 399–430. Archived from the original on 2021-08-16. Retrieved 2021-08-16.

web.archive.org (Global: 1^st place; English: 1^st place)

Sculthorpe, Neil; Frisby, Nicolas; Gill, Andy (2014). "The Kansas University rewrite engine" (PDF). Journal of Functional Programming. 24 (4): 434–473. doi:10.1017/S0956796814000185. ISSN 0956-7968. S2CID 16807490. Archived (PDF) from the original on 2017-09-22. Retrieved 2019-02-12.
Riepe, Von Michael (November 18, 2009). "Pure – eine einfache funktionale Sprache". Archived from the original on March 19, 2011.
Klop, J. W. "Term Rewriting Systems" (PDF). Papers by Nachum Dershowitz and students. Tel Aviv University. p. 12. Archived (PDF) from the original on 15 August 2021. Retrieved 14 August 2021.
Bernhard Gramlich (Jun 1993). "Relating Innermost, Weak, Uniform, and Modular Termination of Term Rewriting Systems". In Voronkov, Andrei (ed.). Proc. International Conference on Logic Programming and Automated Reasoning (LPAR). LNAI. Vol. 624. Springer. pp. 285–296. Archived from the original on 2016-03-04. Retrieved 2014-06-19. Here: Example 3.3
Yoshihito Toyama (1987). "Counterexamples to Termination for the Direct Sum of Term Rewriting Systems" (PDF). Inf. Process. Lett. 25 (3): 141–143. doi:10.1016/0020-0190(87)90122-0. hdl:2433/99946. Archived (PDF) from the original on 2019-11-13. Retrieved 2019-11-13.
N. Dershowitz (1985). "Termination" (PDF). In Jean-Pierre Jouannaud (ed.). Proc. RTA. LNCS. Vol. 220. Springer. pp. 180–224. Archived (PDF) from the original on 2013-11-12. Retrieved 2013-06-16.; here: p.210
Nipkow, Tobias; Prehofer, Christian (1998). "Higher-Order Rewriting and Equational Reasoning". In Bibel, W.; Schmitt, P. (eds.). Automated Deduction - A Basis for Applications. Volume I: Foundations. Kluwer. pp. 399–430. Archived from the original on 2021-08-16. Retrieved 2021-08-16.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Sculthorpe, Neil; Frisby, Nicolas; Gill, Andy (2014). "The Kansas University rewrite engine" (PDF). Journal of Functional Programming. 24 (4): 434–473. doi:10.1017/S0956796814000185. ISSN 0956-7968. S2CID 16807490. Archived (PDF) from the original on 2017-09-22. Retrieved 2019-02-12.

Rewriting (English Wikipedia)

archive.org (Global: 6th place; English: 6th place)

books.google.com (Global: 3rd place; English: 3rd place)

doi.org (Global: 2nd place; English: 2nd place)

ens-lyon.fr (Global: 6,767th place; English: low place)

hdl.handle.net (Global: 66th place; English: 34th place)

heise.de (Global: 905th place; English: 3,454th place)

logic.at (Global: low place; English: low place)

niigata-u.ac.jp (Global: low place; English: low place)

nue.ie.niigata-u.ac.jp

ntu.ac.uk (Global: low place; English: low place)

irep.ntu.ac.uk

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

tau.ac.il (Global: 3,866th place; English: 3,877th place)

cs.tau.ac.il

tum.de (Global: 6,595th place; English: 8,480th place)

www21.in.tum.de

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

archive.org (Global: 6^th place; English: 6^th place)

books.google.com (Global: 3^rd place; English: 3^rd place)

doi.org (Global: 2^nd place; English: 2^nd place)

ens-lyon.fr (Global: 6,767^th place; English: low place)

hdl.handle.net (Global: 66^th place; English: 34^th place)

heise.de (Global: 905^th place; English: 3,454^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

tau.ac.il (Global: 3,866^th place; English: 3,877^th place)

tum.de (Global: 6,595^th place; English: 8,480^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)