Abbad, H.; Laugerotte, Éric. Symbolic Demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science 2008, 7, 21-30.