TY  - RPRT
TI  - Contract agreements via logic
AU  - Massimo Bartoletti
AU  - Tiziana Cimoli
AU  - Paolo Di Giamberardino
AU  - Roberto Zunino
PY  - 2013
DO  - 10.4204/eptcs.131.2
UR  - https://arxiv.org/abs/1306.0026
ID  - 1306.0026
ER  -