Goéland: A Concurrent Tableau-Based Theorem Prover (System Description). - Julie Cailler; Johann Rosain; David Delahaye; Simon Robillard; Hinde-Lilia Bouziane (IJCAR, 2022)

A Generic Deskolemization Strategy. - Johann Rosain; Richard Bonichon; Julie Cailler; Olivier Hermant (LPAR, 2024)