Sofie Verbaeten The Closing Operator: From Partial to Complete Knowledge. 49-50 1998 ECAI db/conf/ecai/ecai98.html#Verbaeten98