TY  - RPRT
TI  - Tableaux Modulo Theories Using Superdeduction
AU  - Mélanie Jacquel
AU  - Karim Berkani
AU  - David Delahaye
AU  - Catherine Dubois
PY  - 2015
DO  - 10.1007/978-3-642-31365-3_26
UR  - https://arxiv.org/abs/1501.01301
ID  - 1501.01301
ER  -