Li, Nelson Y., Mansour, Toufik and Munagi, Augustine O. 2010. Pleine trees and reduction rules. Utilitas Mathematica . 81, (May 2010).