van der Hoeven, Joris; Lecerf, Grégoire Directed evaluation. (English) Zbl 1475.65013 J. Complexity 60, Article ID 101498, 45 p. (2020). MSC: 65D99 11Y16 12-08 68W30 PDFBibTeX XMLCite \textit{J. van der Hoeven} and \textit{G. Lecerf}, J. Complexity 60, Article ID 101498, 45 p. (2020; Zbl 1475.65013) Full Text: DOI HAL
Armando, Alessandro; Ballarin, Clemens A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. (English) Zbl 1126.68098 J. Symb. Comput. 39, No. 5, 503-521 (2005). MSC: 68W30 68Q42 PDFBibTeX XMLCite \textit{A. Armando} and \textit{C. Ballarin}, J. Symb. Comput. 39, No. 5, 503--521 (2005; Zbl 1126.68098) Full Text: DOI