Efficient-Mergesort Dependents

The Factorization Algorithm of Berlekamp and Zassenhaus

by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Unified Decision Procedures for Regular Expression Equivalence

by Tobias Nipkow and Dmitriy Traytel