Sato, Haruhiko; Winkler, Sarah Encoding dependency pair techniques and control strategies for maximal completion. (English) Zbl 1465.68126 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 152-162 (2015). MSC: 68Q42 68V15 PDFBibTeX XMLCite \textit{H. Sato} and \textit{S. Winkler}, Lect. Notes Comput. Sci. 9195, 152--162 (2015; Zbl 1465.68126) Full Text: DOI
Sternagel, Thomas; Zankl, Harald KBCV – Knuth-Bendix completion visualizer. (English) Zbl 1358.68160 Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 530-536 (2012). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{T. Sternagel} and \textit{H. Zankl}, Lect. Notes Comput. Sci. 7364, 530--536 (2012; Zbl 1358.68160) Full Text: DOI
Sternagel, Christian; Thiemann, René Formalizing Knuth-Bendix orders and Knuth-Bendix completion. (English) Zbl 1356.68201 van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 287-302 (2013). MSC: 68T15 03B35 68Q42 PDFBibTeX XMLCite \textit{C. Sternagel} and \textit{R. Thiemann}, LIPIcs -- Leibniz Int. Proc. Inform. 21, 287--302 (2011; Zbl 1356.68201) Full Text: DOI