The Four Avalanche Fronts: a Test Case for Granular Surface Flow Modeling. - Stéphane Douady; Bruno Andreotti; Pierre Cladé; Adrian Daerr (Adv. Complex Syst., 2001)

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. - Bruno Andreotti; Hanna Lachnitt; Haniel Barbosa (TACAS (1), 2023)

Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract). - Bruno Andreotti; Haniel Barbosa; Oliver Flatt (PAAR+SC²@IJCAR, 2024)