Constraint contextual rewriting. Armando, A. & Ranise, S. In FTP'98: Proceedings of the International Workshop on First order Theorem Proving, of Technical Report E1852-GS-981, pages 65--75, 1998. Technische Universität Wien, Austria. Electronically available from \tt http://www.logic.at/ftp98
Constraint contextual rewriting [pdf]Paper  bibtex   

Downloads: 0