Armandoand Ballarin. A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. Elsevier BV, 2005, doi:10.1016/j.jsc.2004.12.010.