Abbad, Houda, and Éric Laugerotte. 2008. “Symbolic Demonstrations in MuPAD-Combinat”. INFOCOMP Journal of Computer Science 7 (4):21-30. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235.