John Esch Robert Levinson Propagating Truth and Detecting Contradiction in Conceptual Graph Database. 229-247 1996 conf/iccs/1996 ICCS db/conf/iccs/iccs96.html#EschL96 http://dx.doi.org/10.1007/3-540-61534-2_15