TY  - RPRT
TI  - Axiomatic constraint systems for proof search modulo theories
AU  - Damien Rouhling
AU  - Mahfuza Farooque
AU  - Stéphane Graham-Lengrand
AU  - Assia Mahboubi
AU  - Jean-Marc Notin
PY  - 2015
UR  - https://arxiv.org/abs/1412.6790
ID  - 1412.6790
ER  -