Reasoning systems for AAL | Publicación