@inproceedings{SubstitutionOperation,
  title = "A Substitution Operation for Constraints",
  author = "P.G.Jeavons and D.A.Cohen and M.C.Cooper",
  year = "1995",
  booktitle = "Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP95)",
  pages = "161-177",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/substitution.ps",
  volume = "874",
  doi = "10.1007/3-540-58601-6_85",
}