Edmund M. Clarke, Anca Browne, Robert P. Kurshan. A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. In André Arnold, editor, CAAP 90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Volume 431 of Lecture Notes in Computer Science, pages 103-116, Springer, 1990.
Abstract is missing.