Optimizing mkbTT

Sarah Winkler, Haruhiko Sato, Aart Middeldorp & Masahito Kurihara
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.