Jiang, Yicheng. 2001. “Polynomial Complexity of the Gilman-Maskit Discreteness Algorithm”. Annales Fennici Mathematici 26 (2):375-90. https://afm.journal.fi/article/view/135011.