"An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular ..."

Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics