M. Acclavio and L. Straßburger, From syntactic proofs to combinatorial proofs, International Joint Conference on Automated Reasoning, pp.481-497, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01942275

A. R. Anderson and N. D. Belnap, Entailment, the Logic of Relvance and Necessity, vol.1, 1975.

A. R. Anderson, N. D. Belnap, and J. M. Dunn, The Logic of Relevance and Necessity, vol.II, 2017.

J. Belnap and N. D. , Display logic, Journal of Philosophical Logic, vol.11, pp.375-417, 1982.

J. Belnap, N. D. Wallace, and J. R. , A decision procedure for the system e? of entailmengt with negation, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, vol.11, pp.277-289, 1965.

K. Brünnler and A. F. Tiu, A local system for classical logic, LPAR 2001. LNAI, vol.2250, pp.347-361, 2001.

S. A. Cook and R. A. Reckhow, The relative efficiency of propositional proof systems, The Journal of Symbolic Logic, vol.44, issue.1, pp.36-50, 1979.

R. Duffin, Topology of series-parallel networks, Journal of Mathematical Analysis and Applications, vol.10, issue.2, pp.303-318, 1965.

G. Gentzen, Untersuchungenüber das logische Schließen. I, Mathematische Zeitschrift, vol.39, pp.176-210, 1935.

A. Guglielmi and L. Straßburger, Non-commutativity and MELL in the calculus of structures, Computer Science Logic, CSL 2001, vol.2142, pp.54-68, 2001.

D. Hughes, Proofs Without Syntax, vol.164, pp.1065-1076, 2006.

D. Hughes, Towards Hilbert's 24 th problem: Combinatorial proof invariants: (preliminary version), Electr. Notes Theor. Comput. Sci, vol.165, pp.37-63, 2006.

M. A. Mcrobbie and N. D. Belnap, Relevant analytic tableaux, Studia Logica, vol.38, issue.2, pp.187-200, 1979.

R. H. Möhring, Computationally tractable classes of ordered sets, pp.105-194, 1989.

C. Retoré, Handsome proof-nets: perfect matchings and cographs, Theoretical Computer Science, vol.294, issue.3, pp.473-488, 2003.

L. Straßburger, A characterisation of medial as rewriting rule, Term Rewriting and Applications, RTA'07, vol.4533, pp.344-358, 2007.

L. Straßburger, Combinatorial flows and their normalisation, 2nd International Conference on Formal Structures for Computation and Deduction, vol.84, pp.1-31, 2017.