J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

K. Chaudhuri, D. Miller, and A. Saurin, Canonical sequent proofs via multifocusing, IFIP TCS, pp.383-396, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00527893

R. Dyckhoff, Intuitionistic Decision Procedures Since Gentzen, Advances in Proof Theory, 2013.
DOI : 10.1007/978-3-319-29198-7_6

S. Lindley, Extensional Rewriting with Sums, TLCA, pp.255-271, 2007.
DOI : 10.1007/978-3-540-73228-0_19

J. B. Wells and B. Yakobowski, Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis, LOPSTR, pp.262-277, 2004.
DOI : 10.1007/11506676_17