\bib{1996/clegg}
\yr 1996
\by Matthew Clegg
\by Jeffery Edmonds
\by Russell Impagliazzo
\paper Using the Groebner basis algorithm to find proofs of unsatisfiability
\url http://www.cs.yorku.ca/~jeff/research/
\endref