1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
2. Bartholomew, M., Lee, J.: Stable models of formulas with intensional functions. In: KR (2012)
3. Bartholomew, M., Lee, J.: Functional stable model semantics and answer set programming modulo theories. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 718–724. AAAI Press (2013)
4. Lecture Notes in Computer Science;M Bartholomew,2014
5. Bhatt, M.: (Some) Default and non-monotonic aspects of qualitative spatial reasoning. In: AAAI 2008 Technical reports, Workshop on Spatial and Temporal Reasoning, pp. 1–6 (2008)