Bikash Chandra Ghosh Vilas Wuwongse Inference Systems for Conceptual Graph Programs. 214-229 1994 conf/iccs/1994 ICCS db/conf/iccs/iccs94.html#GoshW94 http://dx.doi.org/10.1007/3-540-58328-9_15