Beatriz Alarcón Raúl Gutiérrez Salvador Lucas Rafael Navarro-Marset 2011 Proc. 13thAlgebraic Methodology and Software Technology Lecture Notes in Computer Science 6486 201–208 10.1007/978-3-642-17796-5_12 Takahito Aoto Junichi Yoshida Yoshihito Toyama 2009 Proc. 20th International Conference on Rewriting Techniques and Applications Lecture Notes in Computer Science 5595 93–102 10.1007/978-3-642-02348-4_7 Martin Avanzini Georg Moser Michael Schaper 2016 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science 9636 Springer 407–423 10.1007/978-3-662-49674-9_24 Franz Baader Tobias Nipkow 1998 Cambridge University Press 10.1017/CBO9781139172752 Max Dauchet Sophie Tison 1990 Proc. 5th IEEE Symposium on Logic in Computer Science 242–248 10.1109/LICS.1990.113750 Nachum Dershowitz David A. Plaisted 2001 Handbook of Automated Reasoning North-Holland 535–610 10.1016/B978-044450813-3/50011-4 Carsten Fuhs 2019 Proc. 12th International Workshop on Frontiers of Combining Systems Lecture Notes in Computer Science 11715 Springer 348–364 10.1007/978-3-030-29007-8_20 Jürgen Giesl Cornelius Aschermann Marc Brockschmidt Fabian Emmes Florian Frohn Carsten Fuhs Jera Hensel Carsten Otto Martin Plücker Peter Schneider-Kamp Thomas Ströder Stephanie Swiderski René Thiemann 2017 Journal of Automated Reasoning 58 1 3–31 10.1007/s10817-016-9388-y Nao Hirokawa Julian Nagele Aart Middeldorp 2018 Proc. 9th International Joint Conference on Automated Reasoning Lecture Notes in Artificial Intelligence 10900 Springer 346–353 10.1007/978-3-319-94205-6_23 Dieter Hofbauer Clemens Lautemann 1989 Proc. 3rd International Conference on Rewriting Techniques and Applications Lecture Notes in Computer Science 355 Springer 167–177 10.1007/3-540-51081-8_107 Dominik Klein Nao Hirokawa 2011 Proc. 22nd International Conference on Rewriting Techniques and Applications Leibniz International Proceedings in Informatics 10 71–80 10.4230/LIPIcs.RTA.2011.71 Donald E. Knuth Peter B. Bendix 1970 J. Leech Computational Problems in Abstract Algebra Pergamon Press 263–297 10.1016/B978-0-08-012975-4.50028-X Cynthia Kop 2019 Joint Proceedings of the 10th Workshop on Higher-Order Rewriting and the 8th International Workshop on Confluence 21–25 Available from http://cl-informatik.uibk.ac.at/iwc/hor-iwc2019.pdf Martin Korp Christian Sternagel Harald Zankl Aart Middeldorp 2009 Proc. 20th International Conference on Rewriting Techniques and Applications Lecture Notes in Computer Science 5595 Springer 295–304 10.1007/978-3-642-02348-4_21 Aart Middeldorp Julian Nagele Kiraku Shintani 2019 Proc. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science 11429 Springer 25–40 10.1007/978-3-030-17502-3_2 Fabian Mitterwallner 2018 bachelor thesis University of Innsbruck Julian Nagele Bertram Felgenhauer Aart Middeldorp 2017 Proc. 26th International Conference on Automated Deduction Lecture Notes in Artificial Intelligence 10395 Springer 385–397 10.1007/978-3-319-63046-5_24 Max H. A. Newman 1942 Annals of Mathematics 43 2 223–243 10.2307/1968867 Vincent van Oostrom Roel de Vrijer 2003 Terese Term Rewriting Systems Cambridge Tracts in Theoretical Computer Science 55 Cambridge University Press 9 475–547 Étienne Payet Frédéric Mesnard 2006 ACM Transactions on Programming Languages and Systems 28 2 256–289 10.1145/1119479.1119481 Gerald E. Peterson Mark E. Stickel 1981 Journal of the ACM 28 2 233–264 10.1145/322248.322251 Jaco van de Pol 2001 Proc. 1st International Workshop on Reduction Strategies in Rewriting and Programming Electronic Notes in Theoretical Computer Science 57 41–63 10.1016/S1571-0661(04)00267-1 Jaco van de Pol 2002 Proc. 13th International Conference on Rewriting Techniques and Applications Lecture Notes in Computer Science 2378 Springer 367–370 10.1007/3-540-45610-4_26 Prijsvraag 2015 Natuur, Wetenschap & Techniek 73 1 65 Franziska Rapp Aart Middeldorp 2016 Proc. 1st International Conference on Formal Structures for Computation and Deduction Leibniz International Proceedings in Informatics 52 Schloss Dagstuhl – Leibniz-Zentrum für Informatik 36:1–36:12 10.4230/LIPIcs.FSCD.2016.36 Franziska Rapp Aart Middeldorp 2018 Proc. 9th International Joint Conference on Automated Reasoning Lecture Notes in Artificial Intelligence 10900 Springer 81–88 10.1007/978-3-319-94205-6_6 Barry K. Rosen 1973 Journal of the ACM 20 1 160–187 10.1145/321738.321750 Jonas Schöpf Christian Sternagel 2018 The Computing Research Repository abs/1806.05040 http://arxiv.org/abs/1806.05040 Kiraku Shintani Nao Hirokawa 2019 Joint Proceedings of the 10th Workshop on Higher-Order Rewriting and the 8th International Workshop on Confluence 57 Available from http://cl-informatik.uibk.ac.at/iwc/hor-iwc2019.pdf Christian Sternagel René Thiemann 2014 Proc. 11th Workshop on User Interfaces for Theorem Provers (UITP) Electronic Proceedings in Computer Science 167 61–72 10.4204/EPTCS.167.8 Thomas Sternagel Harald Zankl 2012 Proc. 6th International Joint Conference on Automated Reasoning Lecture Notes in Artificial Intelligence 7364 530–536 10.1007/978-3-642-31365-3_41 Terese 2003 Cambridge Tracts in Theoretical Computer Science 55 Cambridge University Press René Thiemann Christian Sternagel 2009 Proc. 22th International Conference on Theorem Proving in Higher Order Logics Lecture Notes in Computer Science 5674 Springer 452–468 10.1007/978-3-642-03359-9_31 Hélène Touzet 1998 Proc. 23rd Mathematical Foundations of Computer Science Lecture Notes in Computer Science 1450 Springer 267–276 10.1007/BFb0055776 Sarah Winkler Georg Moser 2018 Proc. 9th International Joint Conference on Automated Reasoning Lecture Notes in Computer Science 10900 472–480 10.1007/978-3-319-94205-6_31 Sarah Winkler Haruhiko Sato Aart Middeldorp Masahito Kurihara 2013 Journal of Automated Reasoning 50 3 317–354 10.1007/s10817-012-9249-2 Akihisa Yamada Keiichirou Kusakari Toshiki Sakabe 2014 Proc. 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications Lecture Notes in Computer Science 8560 466–475 10.1007/978-3-319-08918-8_32 Harald Zankl Bertram Felgenhauer Aart Middeldorp 2011 Proc. 22nd International Conference on Automated Deduction Lecture Notes in Artificial Intelligence 6803 Springer 499–505 10.1007/978-3-642-22438-6_38 Harald Zankl Sarah Winkler Aart Middeldorp 2015 Journal of Symbolic Computation 69 129–158 10.1016/j.jsc.2014.09.033