ABBAD, H.; 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: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235. Acesso em: 3 may. 2024.