1. A. S. Detinko and D. L. Flannery, Algorithms for computing with nilpotent matrix groups over infinite domains, J. Symbolic Comput. 43 (2008), no. 1, 8–26.[MR]
  2. A. S. Detinko and D. L. Flannery, On deciding finiteness of matrix groups, J. Symbolic Comput. 44 (2009), no. 8, 1037–1043.[MR]
  3. A. S. Detinko, D. L. Flannery, and E. A. O'Brien, Deciding finiteness of matrix groups in positive characteristic, J. Algebra 322 (2009), no. 11, 4151–4160.[MR/doi]