TY  - RPRT
TI  - A generalized small model property for languages which force the infinity
AU  - Pietro Ursino
PY  - 2004
UR  - https://arxiv.org/abs/math/0411226
ID  - math/0411226
ER  -