Decidability of equivalence, containment, intersection, and separability of context-free languages | IEEE Conference Publication | IEEE Xplore