Detinko, A. S., Flannery, D. L., "Practical computation with linear groups over infinite domains", , 2019