Andrea Bracciali Paolo Mancarella Kostas Stathis Francesca Toni On Modelling Multi-agent Systems Declaratively. 53-68 2004 conf/dalt/2004 DALT http://dx.doi.org/10.1007/11493402_4 db/conf/dalt/dalt2004.html#BraccialiMST04