1. Allen, J.F. (1983). Maintaining knowledge about temporal intervals. Communication of the ACM, 26 (11), 832–843.
2. Armando, A., Castellini, C., Giunchiglia, E. (1999). SAT-based procedures for temporal reasoning. In S. Biundo, & M. Fox (Eds.) European conference on planning - ECP, LNCS,1809 (pp. 97–108). Springer .
3. Bagnara, R., Hill, P.M., Zaffanella, E. (2008). The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming, 72 (1–2), 3–21.
4. Barrett, C., Deters, M., Moura, L., Oliveras, A., Stump, A. (2013). 6 years of SMT-COMP. Journal of Automated Reasoning, 50, 243–277.
5. Barrett, C., Stump, A., Tinelli, C., Boehme, S., Cok, D., Deharbe, D., Dutertre, B., Fontaine, P., Ganesh, V., Griggio, A., Grundy, J., Jackson, P., Oliveras, A., Krsti, S., Moskal, M., Moura, L.D., Sebastiani, R., Cok, T.D., Hoenicke, J. (2010). The smt-lib standard: Version 2.0. tech. rep.