Peter Jackson. Computing Minimal Refutations. In SCAI. pages 107-118, 1991.
@inproceedings{Jackson91:3,
title = {Computing Minimal Refutations},
author = {Peter Jackson},
year = {1991},
researchr = {https://researchr.org/publication/Jackson91%3A3},
cites = {0},
citedby = {0},
pages = {107-118},
booktitle = {SCAI},
}