ABBAD, Houda; LAUGEROTTE, Éric. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, [S. l.], v. 7, n. 4, p. 21–30, 2008. Disponível em: http://177.105.60.18/index.php/infocomp/article/view/235. Acesso em: 5 oct. 2024.