Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies

Carlos Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae, 34(3):263-293, 1998.

Abstract

Abstract is missing.