%0 Journal Article
%A Lellahi, Seyed-Kazem
%A Spyratos, Nicolas
%T Deduction over graphs under constraints : a soundness and completeness theorem
%J Diagrammes
%Z talk:2
%D 1993
%P LS1-LS24
%V 29
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1993__29__A2_0/
%G en
%F DIA_1993__29__A2_0