Jean-François Baget Eric Salvat Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. 102-116 2006 conf/iccs/2006 ICCS http://dx.doi.org/10.1007/11787181_8 db/conf/iccs/iccs2006.html#BagetS06