| 1996 | |
| [1] | Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting (), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, 1996. |