Chris Reed Aspassia Daskalopulu Modelling Contractual Arguments http://arxiv.org/abs/cs.AI/0106007 2001 CoRR cs.AI/0106007 db/journals/corr/corr0106.html#cs-AI-0106007 informal publication