1. Maple’s evaluation process as constraint contextual rewriting;Armando,2001
2. Armando, A., Compagna, L., Ranise, S., 2001. RDL—rewrite and decision procedure laboratory. In: IJCAR 2001, Proceedings of the International Joint Conference on Automated Reasoning, Siena, Italy, June, 2001
3. Armando, A., Ranise, S., 1998. Constraint contextual rewriting. In: Caferra, R., Salzer, G. (Eds.), FTP’98, Proceedings of the 2nd International Workshop on First Order Theorem Proving, Vienna, Austria, November 23–25, pp. 65–75
4. A practical extension mechanism for decision procedures: the case study of universal Presburger arithmetic;Armando;Journal of Universal Computer Science (Special Issue: Formal Methods and Tools),2001
5. Baumgartner, P., Furbach, U., Petermann, U., 1992. A Unified Approach to Theory Reasoning. Technical Report, Inst. für Informatik (Koblenz)