1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
2. Bresolin, D., Golińska-Pilarek, J., Orłowska, E.: Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3–4), 251–277 (2006)
3. Cottrell, R., Düntsch, I.: An implementation of multivalued information systems. In: Düntsch, I., Winter, M. (eds.) Proceedings of the 8th International Workshop on Relational Methods in Computer Science - RelMiCS’8, St Catharines, pp. 31–36 (2005)
4. Dallien, J.: RelDT: Relational dual tableaux automated theorem prover (2005), Available at http://logic.stfx.ca/reldt/index.html
5. EATCS Monographs in Theoretical Computer Science;S. Demri,2002