Anton Nijholt The Equivalence Problem for LL- and LR-Regular Grammars. 149-161 1982 24 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss24.html#Nijholt82