Decidability of DPDA Language Equivalence via First-Order Grammars | IEEE Conference Publication | IEEE Xplore