Towards the Synthesis of Constraint Propagation Algorithms

@inproceedings{Smith1993TowardsTS,
  title={Towards the Synthesis of Constraint Propagation Algorithms},
  author={Douglas R. Smith},
  booktitle={LOPSTR},
  year={1993}
}