Carlos Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae, 34(3):263-293, 1998.
@article{Castro98:1,
title = {Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies},
author = {Carlos Castro},
year = {1998},
tags = {rule-based, constraints, graph-rewriting, rules, rewriting, rewriting strategies},
researchr = {https://researchr.org/publication/Castro98%3A1},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {34},
number = {3},
pages = {263-293},
}