The constructive membership problem for discrete two-generator subgroups of SL(2,R)
M. Kirschmer, M.G. Rüther, Journal of Algebra 480 (2017) 519–548.