Richard Edwin Stearns, Harry B. Hunt III. On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Grammars, and Automata. In 22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA. pages 74-81, IEEE, 1981.
Abstract is missing.