Jiang, Y. 2001. Polynomial complexity of the Gilman-Maskit discreteness algorithm. Annales Fennici Mathematici. 26, 2 (Aug. 2001), 375–390.