TY - RPRT TI - A characterization of Büchi's integer sequences of length 3 AU - Pablo Saéz AU - Xavier Vidaux PY - 2010 UR - https://arxiv.org/abs/1011.2251 ID - 1011.2251 ER -