Maple s evaluation process as constraint contextual rewriting

Alessandro Armando, Clemens Ballarin. Maple s evaluation process as constraint contextual rewriting. In ISSAC. pages 32-37, 2001. [doi]

Abstract

Abstract is missing.