TY  - RPRT
TI  - An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables
AU  - Bernard Boigelot
AU  - Sebastien Jodogne
AU  - Pierre Wolper
PY  - 2003
UR  - https://arxiv.org/abs/cs/0303019
ID  - cs/0303019
ER  -