Computational Logic in Multi-Agent Systems by ‎Guido Governatori | Menrva Books | MenrvaBooks