"An Effective Algorithm for the Membership Problem for Extended Regular ..."

Grigore Rosu (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics