Deduction over graphs under constraints : a soundness and completeness theorem Seyed-Kazem Lellahi, Nicolas Spyratos (1993) Diagrammes