@misc{882,
  author = {Jonathan Sprinkle and Christopher van Buskirk and Gabor Karsai},
  title = {Analysis and Representation of Clauses in Satisfiability of Constraints},
  year = {2001},
  journal = {ISIS-01-205},
  month = {August},
  publisher = {Institute for Software Integrated Systems},
  language = {eng},
}