Details for the publication abs-2005-09125.

Yong Li, Moshe Y. Vardi (), Lijun Zhang: On the Power of Unambiguity in Büchi Complementation. In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020, volume 326 of EPTCS, pages 182-198, 2020. DOI BIB