@article {3698,
	title = {Analysis and Representation of Clauses in Satisfiability of Constraints},
	year = {2001},
	month = {August},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sprinkle_JM_8_6_2001_Analysis_a.pdf},
	author = {Sprinkle, Jonathan and van Buskirk, Christopher and Karsai, Gabor}
}
