On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Grammars, and Automata

On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Grammars, and Automata Richard Edwin Stearns Harry B. Hunt III 74-81 conf/focs/FOCS22 1981 FOCS db/conf/focs/focs81.html#StearnsH81