Gianna Cioni Attilio Colagrossi Marco Temperini An Approach to Class Reasoning in Symbolic Computation. 240-251 1996 conf/disco/1996 DISCO db/conf/disco/disco1996.html#CioniCT96 http://dx.doi.org/10.1007/3-540-61697-7_25