TY  - RPRT
TI  - Congruence Relations for Büchi Automata
AU  - Yong Li
AU  - Yih-Kuen Tsay
AU  - Andrea Turrini
AU  - Moshe Y. Vardi
AU  - Lijun Zhang
PY  - 2021
UR  - https://arxiv.org/abs/2104.03555
ID  - 2104.03555
ER  -