LIPIcs - Leibniz International Proceedings in Informatics. Proceedings of the 21st International Conference on Rewriting Techniques and Applications
Doi
Abstract
We describe performance enhancements that have been added to mkbTT, a
modern completion tool combining multi-completion with the use of
termination tools