Alessio Lomuscio Hongyang Qu Monika Solanki Towards verifying compliance in agent-based web service compositions. 265-272 2008 AAMAS (1) http://doi.acm.org/10.1145/1402383.1402424 conf/atal/2008-1 db/conf/atal/aamas2008-1.html#LomuscioQS08