An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.

Michel Leclre, Marie-Laure Mugnier

Browse the full ICCS paper archive.