Distributive rho-calculus. - Horatiu Cirstea; Clément Houtmann; Benjamin Wack (WRLA, 2006)

Superdeduction at Work. - Paul Brauner; Clément Houtmann; Claude Kirchner (Rewriting, Computation and Proof, 2007)

Principles of Superdeduction. - Paul Brauner; Clément Houtmann; Claude Kirchner (LICS, 2007)

Axiom Directed Focusing. - Clément Houtmann (TYPES, 2008)

Strong normalisation in two Pure Pattern Type Systems. - Benjamin Wack; Clément Houtmann (Math. Struct. Comput. Sci., 2008)

Superdeduction in Lambda-Bar-Mu-Mu-Tilde - Clément Houtmann (CL&C, 2010)

Représentation et interaction des preuves en superdéduction modulo. (Representation and interaction of proofs in superdeduction modulo). - Clément Houtmann (2010)

Orthogonality and Boolean Algebras for Deduction Modulo. - Aloïs Brunel; Olivier Hermant; Clément Houtmann (TLCA, 2011)