Algorithms for Matrix Groups and the Tits Alternative.

Robert Beals Algorithms for Matrix Groups and the Tits Alternative. 593-602 1995 conf/focs/1995 FOCS db/conf/focs/focs95.html#Beals95 http://doi.ieeecomputersociety.org/10.1109/SFCS.1995.492589