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

Richard Edwin Stearns, Harry B. Hunt III

Browse the full FOCS paper archive.