Constant Time Reductions in Lambda-Caculus. - Michel Parigot; Paul Rozière (MFCS, 1993)

Admissible and Derivable Rules in Intuitionistic Logic. - Paul Rozière (Math. Struct. Comput. Sci., 1993)

PhoX. - Christophe Raffalli; Paul Rozière (The Seventeen Provers of the World, 2006)

Unification in Intermediate Logics. - Rosalie Iemhoff; Paul Rozière (J. Symb. Log., 2015)