Y. Jiang, “Polynomial complexity of the Gilman-Maskit discreteness algorithm”, Ann. Fenn. Math., vol. 26, no. 2, pp. 375–390, Aug. 2001.