A knowledge level model of knowledge-based reasoning | Publicación