by Cantone, Domenico, Ghelfo, Susanna, Omodeo, Eugenio
Published in Journal of symbolic computation (1988)