João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7