CRIB: A Method for Integrity Constraint Checking on Knowledge Bases | Publicación