On the Equivalence, Containment, and Covering Problems for the Regular and Context-Free Languages

Harry B. Hunt III, Daniel J. Rosenkrantz, Thomas G. Szymanski. On the Equivalence, Containment, and Covering Problems for the Regular and Context-Free Languages. J. Comput. Syst. Sci., 12(2):222-268, 1976.

Abstract

Abstract is missing.