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