Jiang, Y. Polynomial Complexity of the Gilman-Maskit Discreteness Algorithm. Ann. Fenn. Math. 2001, 26, 375-390.