litow@csd4.csd.uwm.edu (Bruce E Litow) (08/20/90)
H. Hunt, III and J. Rangel discuss solvable cases of CFL containment in: Decidability of Equivalence, Containment, Intersection, and Separability of Context-Free Languages in: 16th FOCS, 1975, 144-150. Did this work subsequently appear in greater detail in a journal? Has there been further work in this area? Please send e-mail.