"Membership and Finiteness Problems for Rational Sets of Regular Languages."

Sergey A. Afonin, Elena Hazova (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics