An algorithm to compute the möbius function of the rotation lattice of binary trees J. M. Pallo — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications