1. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
2. Anbulagan, D. Nghia Pham, J. Slaney, A. Sattar, Old resolution meets modern SLS, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005, pp. 354–359
3. A. Armando, C. Castellini, E. Giunchiglia, SAT-based procedures for temporal reasoning, in: Proceedings of the Fifth European Conference on Planning, 2000, pp. 97–108
4. A. Armando, C. Castellini, E. Giunchiglia, M. Idini, M. Maratea, TSAT++: An open platform for satisfiability modulo theories, in: Proceedings of the Second Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR-04), 2004
5. A. Armando, C. Castellini, E. Giunchiglia, M. Maratea, A SAT-based decision procedure for the boolean combination of difference constraints, in: Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing SAT 2004, Selected Revised Papers, Lecture Notes in Computer Science, vol. 3542, 2004, pp. 16–29