1. Ábrahám, E., Nalbach, J., Kremer, G.: Embedding the virtual substitution method in the model constructing satisfiability calculus framework. In: proceedings of SC-square’17. CEUR Workshop Proceedings, vol. 1974. CEUR-WS.org (2017). urn:nbn:de:0074–1974-4, http://ceur-ws.org/Vol-1974/EAb.pdf
2. Arias, E.J.G., Pin, B., Jouvelot, P.: jsCoq: Towards hybrid theorem proving interfaces. In: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP. EPTCS, vol. 239, pp. 15–27 (2016)
3. Barrett, C., Fontaine, P., Tinelli, C.: The satisfiability modulo theories library (SMT-LIB). www.SMT-LIB.org (2016)
4. Barrett, C., Kroening, D., Melham, T.: Problem solving for the 21st century: Efficient solvers for satisfiability modulo theories. Knowledge Transfer Report 3, London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering (2014)
5. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, chap. 26, vol. 185, pp. 825–885. IOS Press (2009)