1. Lecture Notes in Computer Science;M Armand,2011
2. Barbosa, H., Blanchette, J.C., Fontaine, P.: Technical report associated with this paper (2017).
https://hal.inria.fr/hal-01526841
3. Lecture Notes in Computer Science;H Barbosa,2017
4. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: Version 2.5. Technical report, University of Iowa (2015).
http://smt-lib.org/
5. Besson, F., Fontaine, P., Théry, L.: A flexible proof format for SMT: a proposal. In: Fontaine, P., Stump, A. (eds.) PxTP 2011, pp. 15–26 (2011)