1. Alferes J, Pereira LM, Przymusinski T. Classical Negation in Nonmonotonic Reasoning and Logic Programming. Journal of Automated Reasoning, vol. 20, pp. 107 142, 1998.
2. Allen T, Widdison R. Can Computer Make Contracts?, Harvard Journal of Law Technology, Volume 9, Number 1, Winter 1996.
3. Andrade MD. TeoriaGeral da Relaçãfio Jurídica, Coimbra Editora, vol. I., 1974.
4. Andrade F, Neves J. Intelligent Electronic Inter-systemic contracting-issues on consent and contract formation. Proceedings of the 6th International Conference on Enterprise Information Systems-ICEIS 2004, Porto, Portugal, 2004.
5. Arthur W. Inductive Reasoning and Bounded Rationality (The El Farol Bar Problem). Proceedings of the American Economics Review, 84:406, 1994.