TY  - RPRT
TI  - Instantiation of SMT problems modulo Integers
AU  - Mnacho Echenim
AU  - Nicolas Peltier
PY  - 2010
UR  - https://arxiv.org/abs/1006.2921
ID  - 1006.2921
ER  -