Graeme Hirst Existence Assumptions in Knowledge Representation. 199-242 1991 49 Artif. Intell. 1-3 db/journals/ai/ai49.html#Hirst91 http://dx.doi.org/10.1016/0004-3702(91)90010-H