Bikash Chandra Ghosh Vilas Wuwongse Conceptual Graph Programs and Their Declarative Semantics. 1208-1217 1995 78-D IEICE Trans. Inf. Syst. 9 http://search.ieice.org/bin/summary.php?id=e78-d_9_1208 db/journals/ieicet/ieicet78d.html#GhoshW95