Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito Multi-completion with termination tools. (English) Zbl 1362.68253 J. Autom. Reasoning 50, No. 3, 317-354 (2013). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{S. Winkler} et al., J. Autom. Reasoning 50, No. 3, 317--354 (2013; Zbl 1362.68253) Full Text: DOI
Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito Optimizing \(\text{mkb}_{\text{TT}}\). (English) Zbl 1236.68156 Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 373-384, electronic only (2010). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{S. Winkler} et al., LIPIcs -- Leibniz Int. Proc. Inform. 6, 373--384 (2010; Zbl 1236.68156) Full Text: DOI Link