Sort Inheritance for Order-Sorted Equational Presentations. - Claus Hintermeier; Claude Kirchner; Hélène Kirchner (COMPASS/ADT, 1994)

How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. - Claus Hintermeier (CTRS, 1994)

Combining Algebraic and Set-Theoretic Specifications. - Claus Hintermeier; Hélène Kirchner; Peter D. Mosses (COMPASS/ADT, 1995)

Rn- and Gn-Logics. - Claus Hintermeier; Hélène Kirchner; Peter D. Mosses (HOA, 1995)

Redundancy and Saturation. - Claus Hintermeier (UNIF, 1995)

Déduction avec sortes ordonnées et égalités. - Claus Hintermeier (1995)

Dynamically Typed Computations for Order-Sorted Equational Presentations. - Claus Hintermeier; Claude Kirchner; Hélène Kirchner (J. Symb. Comput., 1998)