Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini. Equivalence and Membership Problems for Regular Trace Languages. In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 61-71, Springer, 1982.
Abstract is missing.