1. Antonis, K., & Rob, M. (1997). A simple declarative language for describing narratives with actions. The Journal of Logic Programming, 31 (1–3) (Special Issue on Reasoning about Action and Change), 157–200.
2. Practical GIS: building and maintaining a successful GIS;Chen,1998
3. Formal methods: State of the art and future directions;Clarke;ACM Computing Surveys,1996
4. Inductive situation calculus;Denecker;Artificial Intelligence Archive,2007
5. Dimitris P., & John M. (1996). Accomadating integrity constraints during database design. In Proceedings of EDBT 1996, Avignon, France (pp. 497–513).