Jean Marcel Pallo Right-arm rotation distance between binary trees. 173-177 2003 87 Inf. Process. Lett. 4 http://dx.doi.org/10.1016/S0020-0190(03)00283-7 db/journals/ipl/ipl87.html#Pallo03a