TY  - RPRT
TI  - Reasoning about transfinite sequences
AU  - Stéphane Demri
AU  - David Nowak
PY  - 2006
DO  - 10.1142/s0129054107004589
UR  - https://arxiv.org/abs/cs/0505073
ID  - cs/0505073
ER  -