A formal model for knowledge-based systems verification | Publicación