Culler’s algorithm for the group SL(2,Z) - Mozgova, A. (Methods of Functional Analysis and Topology, 2001)