@article{DIA_1993__29__A2_0,
     author = {Lellahi, Seyed-Kazem and Spyratos, Nicolas},
     title = {Deduction over graphs under constraints : a soundness and completeness theorem},
     journal = {Diagrammes},
     note = {talk:2},
     pages = {LS1--LS24},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {29},
     year = {1993},
     mrnumber = {1283882},
     zbl = {0804.18004},
     language = {en},
     url = {http://www.numdam.org/item/DIA_1993__29__A2_0/}
}