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

Published in: J. Comput. Syst. Sci. (1976)

Keyphrases