TY  - RPRT
TI  - Interpolation and Model Checking for Nonlinear Arithmetic
AU  - Dejan Jovanović
AU  - Bruno Dutertre
PY  - 2021
UR  - https://arxiv.org/abs/2106.04340
ID  - 2106.04340
ER  -