Computational Logic In Multi-Agent Systems by Jo O. Leite