@inproceedings{Clegg_1996,
    doi = {10.1145/237814.237860},
    url = {https://doi.org/10.1145%2F237814.237860},
    year = {1996},
    publisher = {{ACM} Press},
    author = {Matthew Clegg and Jeffery Edmonds and Russell Impagliazzo},
    title = {Using the Groebner basis algorithm to find proofs of unsatisfiability},
    booktitle = {Proceedings of the twenty-eighth annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}96}
}

@inproceedings{Clegg_1996, doi = {10.1145/237814.237860}, url = {https://doi.org/10.1145%2F237814.237860}, year = {1996}, publisher = {{ACM} Press}, author = {Matthew Clegg and Jeffery Edmonds and Russell Impagliazzo}, title = {Using the Groebner basis algorithm to find proofs of unsatisfiability}, booktitle = {Proceedings of the twenty-eighth annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}96} }