Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau. A Semantic Validation of Conceptual Graphs. In Marie-Laure Mugnier, Michel Chein, editors, Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS 98, Montpellier, France, August 10-12, 1998, Proceedings. Volume 1453 of Lecture Notes in Computer Science, pages 80-93, Springer, 1998. [doi]
@inproceedings{DibieHL98, title = {A Semantic Validation of Conceptual Graphs}, author = {Juliette Dibie-Barthélemy and Ollivier Haemmerlé and Stéphane Loiseau}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1453/14530080.htm}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/DibieHL98}, cites = {0}, citedby = {0}, pages = {80-93}, booktitle = {Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS 98, Montpellier, France, August 10-12, 1998, Proceedings}, editor = {Marie-Laure Mugnier and Michel Chein}, volume = {1453}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-64791-0}, }