1. Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
2. Gordon, T.F.: The Pleadings Game. In: An Artificial Intelligence Model of Procedural Justice. Kluwer Academic Publishers, Dordrecht (1995)
3. Gordon, T.F., Karacapilidis, N.: The Zeno argumentation framework. In: Proceedings of the Sixth International Conference on Artificial Intelligence and Law, pp. 10–18. ACM Press, New York (1997)
4. Jones, A.J.I., Sergot, M.J.: On the characterisation of law and computer systems: the normative systems perspective. In: Meyer, J.J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. John Wiley and Sons, Chichester (1993)
5. Karacapilidis, N.I., Papadias, D., Gordon, T.F., Voss, H.: Collaborative environmentalplanning with GeoMed. European Journal of Operational Research, Special Issue on Environmental Planning, Vol 102(2), 335–346 (1997)