J. I. Seiferas;M. J. Fischer;A. R. Meyer
-;-;-
On the equivalence, containment, and covering problems for the regular and context-free languages
Journal of Computer and System Sciences
Comparing complexity classes