Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso
Browse the full ISSAC paper archive.