A. S. Henriksen, Using LJF as a Framework for Proof Systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00442159

B. Lellmann, C. Olarte, and E. Pimentel, A uniform framework for substructural logics with modalities, LPAR-21, pp.435-455

B. Lellmann and E. Pimentel, Proof Search in Nested Sequent Calculi, pp.558-574, 2015.
DOI : 10.1007/978-3-662-48899-7_39

D. Miller, A multiple-conclusion meta-logic, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.272-281
DOI : 10.1109/LICS.1994.316062
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.160.6635

D. Miller and E. Pimentel, A formal framework for specifying sequent calculus proof systems, Theoretical Computer Science, vol.474, pp.98-116, 2013.
DOI : 10.1016/j.tcs.2012.12.008
URL : https://hal.archives-ouvertes.fr/hal-00787586

V. Nigam and D. Miller, A Framework for Proof Systems, Journal of Automated Reasoning, vol.40, issue.7, pp.157-188, 2010.
DOI : 10.1007/978-3-642-86718-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.9807

V. Nigam, E. Pimentel, and G. Reis, Specifying Proof Systems in Linear Logic with Subexponentials, LSFA 2010, pp.109-123, 2011.
DOI : 10.1016/j.entcs.2011.03.009
URL : https://doi.org/10.1016/j.entcs.2011.03.009