TY  - RPRT
TI  - Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration
AU  - Marcello Balduccini
AU  - Yulia Lierler
PY  - 2013
UR  - https://arxiv.org/abs/1312.6105
ID  - 1312.6105
ER  -