1. Handbook of l;Nute,1994
2. A declarative approach to business rules in contracts: Courteous logic programs in XML. In: Proc 1st ACM Conf on Electronic Commerce (EC-99). ACM Press; 1999.
3. Towards a declarative language for negotiating executable contracts. In: Proc of the AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99). Menlo Park, CA: AAAI Press/MIT Press; 1999.
4. Logical tools for modelling legal argument: A study of defeasible reasoning in Law. Dordrecht: Kluwer Academic Publishers; 1997.
5. Defeasible logic for automated negotiation. In: Proc 5th CollECTeR Conf on Electronic Commerce, Brisbane, 2000.