1. Maintaining knowledge about temporal intervals;Allen;Commun. ACM,1983
2. J.F. Allen, P.J. Hayes, A common-sense theory of time, in: A.K. Joshi (Ed.), International Joint Conference on Artificial Intelligence, 1985, pp. 528–531.
3. Galois connections and fixed point calculus;Backhouse,2002
4. Completeness of neighbourhood logic;Barua;J. Logic Comput.,2000
5. On decidability and expressiveness of propositional interval neighborhood logics;Bresolin,2007