Gianna Cioni, Attilio Colagrossi, Marco Temperini. An Approach to Class Reasoning in Symbolic Computation. In Jacques Calmet, Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Volume 1128 of Lecture Notes in Computer Science, pages 240-251, Springer, 1996.
Abstract is missing.