Limongelli, C. and Pirastu, R. 2012. p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals. Computing and Informatics. 15, 1 (Mar. 2012), 35–62.