The decidability of the equivalence of context-free grammar forms | IEEE Conference Publication | IEEE Xplore