%0 Book Section %1 salvat1996sound %A Salvat, Eric %A Mugnier, Marie-Laure %B Conceptual Structures: Knowledge Representation as Interlingua %C Berlin/Heidelberg %D 1996 %E Eklund, Peter %E Ellis, Gerard %E Mann, Graham %I Springer %K 2012 cg citedBy:doerfel2012publication conceptual graph icfca %P 248--262 %T Sound and complete forward and backward chainings of graph rules %U http://dx.doi.org/10.1007/3-540-61534-2_16 %V 1115 %@ 978-3-540-61534-7

@incollection{salvat1996sound, added-at = {2012-03-05T11:32:59.000+0100}, address = {Berlin/Heidelberg}, author = {Salvat, Eric and Mugnier, Marie-Laure}, biburl = {https://www.bibsonomy.org/bibtex/213ee245407ee9e4dd17c2c04f3ce560c/kde}, booktitle = {Conceptual Structures: Knowledge Representation as Interlingua}, editor = {Eklund, Peter and Ellis, Gerard and Mann, Graham}, interhash = {966b9e322fdb1305365f781b14538137}, intrahash = {13ee245407ee9e4dd17c2c04f3ce560c}, isbn = {978-3-540-61534-7}, keywords = {2012 cg citedBy:doerfel2012publication conceptual graph icfca}, pages = {248--262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2012-03-05T11:33:00.000+0100}, title = {Sound and complete forward and backward chainings of graph rules}, url = {http://dx.doi.org/10.1007/3-540-61534-2_16}, volume = 1115, year = 1996 }