C. Limongelli and R. Pirastu, “p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals”, Comput. Inform., vol. 15, no. 1, pp. 35–62, Mar. 2012.