TY  - RPRT
TI  - Polynomial parametrizations of length $4$ Büchi sequences
AU  - Xavier Vidaux
PY  - 2010
UR  - https://arxiv.org/abs/1008.2994
ID  - 1008.2994
ER  -