STRIP: Structural Sharing for Efficient Proof-Search. - Dominique Larchey-Wendling; Daniel Méry; Didier Galmiche (IJCAR, 2001)

Proof-Search and Countermodel Generation in Propositional BI Logic. - Didier Galmiche; Daniel Méry (TACS, 2001)

Connection-Based Proof Search in Propositional BI Logic. - Didier Galmiche; Daniel Méry (CADE, 2002)

Resource Tableaux. - Didier Galmiche; Daniel Méry; David J. Pym (CSL, 2002)

Semantic Labelled Tableaux for Propositional BI. - Didier Galmiche; Daniel Méry (J. Log. Comput., 2003)

Resource Graphs and Countermodels in Resource Logics. - Didier Galmiche; Daniel Méry (D/PDPAR@IJCAR, 2004)

Preuves et sémantiques dans des logiques de ressources. - Daniel Méry (2004)

Characterizing Provability in . - Didier Galmiche; Daniel Méry (LPAR, 2005)

The semantics of BI and resource tableaux. - Didier Galmiche; Daniel Méry; David J. Pym (Math. Struct. Comput. Sci., 2005)

Tableaux and Resource Graphs for Separation Logic. - Didier Galmiche; Daniel Méry (J. Log. Comput., 2010)

A Connection-based Characterization of Bi-intuitionistic Validity. - Didier Galmiche; Daniel Méry (J. Autom. Reason., 2013)

Separation Logic with One Quantified Variable. - Stéphane Demri; Didier Galmiche; Dominique Larchey-Wendling; Daniel Méry (Theory Comput. Syst., 2017)

Labelled Connection-based Proof Search for Multiplicative Intuitionistic. - Didier Galmiche; Daniel Méry (ARQNL@IJCAR, 2018)

Relating Labelled and Label-Free Bunched Calculi in BI Logic. - Didier Galmiche; Michel Marti; Daniel Méry (TABLEAUX, 2019)

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. - Didier Galmiche; Marta Gawek; Daniel Méry (FSCD, 2021)

Labelled cyclic proofs for separation logic. - Didier Galmiche; Daniel Méry (J. Log. Comput., 2021)

Labelled Tableaux for Linear Time Bunched Implication Logic. - Didier Galmiche; Daniel Méry (FSCD, 2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. - Tim S. Lyon; Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake (CoRR, 2023)

Automated Proof Search in Intuitionistic Sentential Logic. - Didier Galmiche; Brandon Hornbeck; Daniel Méry (ARQNL@IJCAR, 2024)

Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. - Didier Galmiche; Brandon Hornbeck; Daniel Méry (J. Log. Comput., 2025)