@inproceedings{WatchedOr,
  title = "Efficient Propagation of Disjunctive Constraints using Watched Literals",
  author = "Karen Petrie with Chris Jefferson",
  year = "2008",
  journal = "In Proc. ModRef 2008",
  url = "http://www.it.uu.se/research/group/astra/ModRef08/JeffersonPetrie.pdf",
}