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

Tobias Nipkow, Maximilian P. L. Haslbeck (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics