1. Abrahams, A.S., and Bacon, J.M. The life and times of identified, situated, and conflicting norms. In J. Horty and A.J.I. Jones (eds.), Proceedings of the 6th International Workshop on Deontic Logic in Computer Science, Imperial College, London, UK, May 22–24, 2002, 3–20.
2. Expressing and verifying business contracts with abductive logic programming;Alberti;International Journal of Electronic Commerce,2008
3. Can computers make contracts?;Allen;Harvard Journal of Law and Technology,1996
4. Nonmonotonic Reasoning;Antoniou,1997
5. A tutorial on default logics;Antoniou;ACM Computer Surveys,1999