Eduardo Fermé, Joao Leite Logics in Artificial Intelligence - 2014 - Springer International Publishing 2014 - 8761 - Lecture Notes in Computer Science . ISBN: 978-3-319-11558-0 ISSN: 1611-3349