Hector J. Levesque The Logic of Incomplete Knowledge Bases. 165-189 1982 On Conceptual Modelling (Intervale) db/conf/db-workshops/intervale82.html#Levesque82