Claus Hintermeier, Claude Kirchner, Hélène Kirchner. Dynamically Typed Computations for Order-Sorted Equational Presentations. Journal of Symbolic Computation, 25(4):455-526, 1998.
@article{HintermeierKK98,
title = {Dynamically Typed Computations for Order-Sorted Equational Presentations},
author = {Claus Hintermeier and Claude Kirchner and Hélène Kirchner},
year = {1998},
researchr = {https://researchr.org/publication/HintermeierKK98},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {25},
number = {4},
pages = {455-526},
}