@misc{1996-clegg
,note={URL: {\tt http://www.cs.yorku.ca/~jeff/research/}}
,author={Matthew Clegg and Jeffery Edmonds and Russell Impagliazzo}
,title={{Using the Groebner basis algorithm to find proofs of unsatisfiability}}
,year={1996}
}