Cleary, Sean, and Katherine St. John. “A Linear-Time Approximation Algorithm for Rotation Distance”. Journal of Graph Algorithms and Applications, vol. 14, no. 2, Jan. 2010, pp. 385-90, doi:10.7155/jgaa.00212.