Claus Hintermeier Claude Kirchner Hélène Kirchner Sort Inheritance for Order-Sorted Equational Presentations. 319-335 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#HintermeierKK94