Li, Nelson Y., Mansour, Toufik, & Munagi, Augustine O. (2010). Pleine trees and reduction rules. Utilitas Mathematica, 81. Retrieved from https://utilitasmathematica.com/index.php/Index/article/view/730