Ming Li Louxin Zhang Twist-Rotation Transformations of Binary Trees and Arithmetic Expressions. 155-166 1999 32 J. Algorithms 2 db/journals/jal/jal32.html#LiZ99