SMIS: A Stepwise Multiple Integration Solver Using a CAS | Publicación