Maple's evaluation process as constraint contextual rewriting.

Alessandro Armando, Clemens Ballarin

Browse the full ISSAC paper archive.