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