(1)
Limongelli, C.; Pirastu, R. P-Adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals. Comput. Inform. 2012, 15, 35-62.