Anton Nijholt The Equivalence Problem for LL- and LR-Regular Grammars. 291-300 1981 conf/fct/1981 FCT db/conf/fct/fct81.html#Nijholt81 http://dx.doi.org/10.1007/3-540-10854-8_32