[LiTTVZ21] Congruence Relations for Büchi Automata Li, Y.; Tsay, Y.-K.; Turrini, A.; Vardi, M. Y. and Zhang, L. In FM, pages 465-482, Springer, Lecture Notes in Computer Science 13047, 2021.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-90870-6_25