Abbad, H. and Laugerotte, Éric (2008) “Symbolic demonstrations in MuPAD-Combinat”, INFOCOMP Journal of Computer Science, 7(4), pp. 21–30. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235 (Accessed: 3 May 2024).