A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.

Tobias Nipkow, Maximilian P. L. Haslbeck

Browse the full TABLEAUX paper archive.