"Small Extended Expressions for Acyclic Automata."

Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics