Decidability of Equivalence, Containment, Intersection, and Separability of Context-Free Languages (Extended Abstract) - Harry B. Hunt III; J. L. Rangel (FOCS, 1975)