Michael Wooldridge Semantic Issues in the Verification of Agent Communication Languages. 9-31 2000 3 Autonomous Agents and Multi-Agent Systems 1 db/journals/aamas/aamas3.html#Wooldridge00