@inproceedings{Gelder02,
  title = {Generalizations of Watched Literals for Backtracking Search},
  author = {Allen Van Gelder},
  year = {2002},
  url = {http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/32.ps},
  tags = {search},
  researchr = {https://researchr.org/publication/Gelder02},
  cites = {0},
  citedby = {0},
  booktitle = {AMAI},
}