Guido Governatori Representing business contracts in <i>RuleML</i>. 181-216 2005 14 Int. J. Cooperative Inf. Syst. 2-3 http://dx.doi.org/10.1142/S0218843005001092 db/journals/ijcis/ijcis14.html#Governatori05