Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification | Publicación