Detinko, A. S., Flannery, D. L., & Hulpke, A. (2015). Algorithms for arithmetic groups with the congruence subgroup property. Journal of Algebra, 421, 234-259. https://doi.org/10.1016/j.jalgebra.2014.08.027