Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. - Horatiu Cirstea; Luigi Liquori; Benjamin Wack (TYPES, 2003)

Rewrite strategies in the rewriting calculus. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori; Benjamin Wack (WRS, 2003)

The Simply-typed Pure Pattern Type System Ensures Strong Normalization. - Benjamin Wack (IFIP TCS, 2004)

The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. - Luigi Liquori; Benjamin Wack (WRLA, 2004)

Typage et déduction dans le calcul de réécriture. (Type systems and deduction in the rewriting calculus). - Benjamin Wack (2005)

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

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