Proof-search and proof nets in Mixed Linear Logic. - Didier Galmiche; J.-M. Notin (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

LINK: A Proof Environment Based on Proof Nets. - L. Habert; J.-M. Notin; Didier Galmiche (TABLEAUX, 2002)

Connection-Based Proof Construction in Non-commutative Logic. - Didier Galmiche; J.-M. Notin (LPAR, 2003)

Recherche et construction de preuves en logique non-commutative. - Jean-Marc Notin (2004)

Axiomatisation of constraint systems to specify a tableaux calculus modulo theories. - Damien Rouhling; Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi; Jean-Marc Notin (CoRR, 2014)

Axiomatic Constraint Systems for Proof Search Modulo Theories. - Damien Rouhling; Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi; Jean-Marc Notin (FroCos, 2015)