TY  - RPRT
TI  - Büchi Automata can have Smaller Quotients
AU  - Lorenzo Clemente
PY  - 2011
UR  - https://arxiv.org/abs/1102.3285
ID  - 1102.3285
ER  -