Jiang, Y. “Polynomial Complexity of the Gilman-Maskit Discreteness Algorithm”. Annales Fennici Mathematici, vol. 26, no. 2, Aug. 2001, pp. 375-90, https://afm.journal.fi/article/view/135011.