Computational Logic in Multi-Agent Systems by Michael Fisher | Lex | Lex