Una interpretación algebraica de la verificación de sistemas basados en el conocimiento | Publicación