Detinko, A. S., Flannery, D. L., & de Graaf, W. A. (2015). Integrality and arithmeticity of solvable linear groups. Journal of Symbolic Computation, 68(P1), 138-145. https://doi.org/10.1016/j.jsc.2014.08.011