Unified Decision Procedures for Regular Expression Equivalence.

Tobias Nipkow, Dmitriy Traytel

Browse the full ITP paper archive.