Alessandro Armando Clemens Ballarin Maple's evaluation process as constraint contextual rewriting. 32-37 2001 ISSAC http://doi.acm.org/10.1145/384101.384107 db/conf/issac/issac2001.html#ArmandoB01