1. Allen, J.F.: An interval-based representation of temporal knowledge. IJCAI 81, 221–226 (1981)
2. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising hull and box consistency. In: Logic Programming: Proceedings of the 1999 International Conference on Logic Programming, pp. 230–244. MIT press (1999)
3. Communications in Computer and Information Science;M Carmo Nicoletti do,2011
4. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Formal Models and Sematics, vol. B-5, pp. 995–10725 (1990)
5. Fauré, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), e124–e131 (2006)