Algimantas Juozapavicius Symbolic Computation for Witt Rings. 271-273 1988 conf/issac/1988 ISSAC db/conf/issac/issac88.html#Juozapavicius88