Constraint contextual rewriting. Armando, A. & Ranise, S. Journal of Symbolic Computation, 36(1-2):193-216, 2003.
Constraint contextual rewriting [link]Paper  doi  bibtex   
@ARTICLE{Armando2003193,
author={Armando, A., Ranise, S.},
title={Constraint contextual rewriting},
journal={Journal of Symbolic Computation},
year={2003},
volume={36},
number={1-2},
pages={193-216},
doi={10.1016/S0747-7171(03)00025-7},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-14744268584&partnerID=40&md5=c028d4dae8f3de121b225e0c48aac30f},
document_type={Article},
source={Scopus},
}

Downloads: 0