Jiang, Y. (2001). Polynomial complexity of the Gilman-Maskit discreteness algorithm. Annales Fennici Mathematici, 26(2), 375–390. Retrieved from https://afm.journal.fi/article/view/135011