Claus Hintermeier Claude Kirchner Hélène Kirchner Dynamically Typed Computations for Order-Sorted Equational Presentations. 455-526 1998 25 J. Symb. Comput. 4 db/journals/jsc/jsc25.html#HintermeierKK98