Abbad, H., & Laugerotte, Éric. (2008). Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, 7(4), 21–30. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235