Implementing Polymorphism in Zenon. - Guillaume Bury; Raphaël Cauderlier; Pierre Halmagrand (IWIL@LPAR, 2015)

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. - Guillaume Bury; David Delahaye; Damien Doligez; Pierre Halmagrand; Olivier Hermant (LPAR (short papers), 2015)

Integrating Simplex with Tableaux. - Guillaume Bury; David Delahaye (TABLEAUX, 2015)

An Automation-Friendly Set Theory for the B Method. - Guillaume Bury; Simon Cruanes; David Delahaye; Pierre-Louis Euvrard (ABZ, 2018)

Integrating rewriting, tableau and superposition into SMT. (Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT). - Guillaume Bury (2019)

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. - Guillaume Burel; Guillaume Bury; Raphaël Cauderlier; David Delahaye; Pierre Halmagrand; Olivier Hermant (J. Autom. Reason., 2020)

Dolmen: A Validator for SMT-LIB and Much More. - Guillaume Bury (SMT, 2021)

Verifying Models with Dolmen. - Guillaume Bury; François Bobot (SMT, 2023)

Chamelon : A Delta-Debugger for OCaml. - Milla Valnet; Nathanaëlle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron (FM (2), 2024)

On SMT Theory Design: The Case of Sequences. - Hichem Rami Ait El Hara; François Bobot; Guillaume Bury (LPAR Complementary Volume, 2024)

Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen. - Guillaume Bury (SMT@CAV, 2024)

An SMT theory for N-Indexed Sequences. - Hichem Rami Ait El Hara; François Bobot; Guillaume Bury (SMT@CAV, 2024)

Reasoning over n-indexed sequences in SMT. - Hichem Rami Ait El Hara; François Bobot; Guillaume Bury (Acta Informatica, 2025)