Computational Logic in Multi-Agent Systems - Leite (Springer Berlin Heidelberg, 2013)