John N. Hooker. Generalized Resolution for 0-1 Linear Inequalities. Annals of Mathematics and Artificial Intelligence, 6(1-3):271-286, 1992.
@article{Hooker92,
title = {Generalized Resolution for 0-1 Linear Inequalities},
author = {John N. Hooker},
year = {1992},
researchr = {https://researchr.org/publication/Hooker92},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {6},
number = {1-3},
pages = {271-286},
}