S. Cleary and K. St. John, “A Linear-Time Approximation Algorithm for Rotation Distance”, JGAA, vol. 14, no. 2, pp. 385–390, Jan. 2010.