Éléments de théorie des patchworks (I)
Talk no. 1, 29 p.
Deduction over graphs under constraints : a soundness and completeness theorem
Talk no. 2, 24 p.