Abbad H, Laugerotte Éric. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science [Internet]. 2008 Dec. 1 [cited 2024 May 3];7(4):21-30. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235