Sound and Complete Forward and backward Chainingd of Graph Rules.

Eric Salvat, Marie-Laure Mugnier

Browse the full ICCS paper archive.