A MAS for Teaching Computational Logic | Publicación