Bart Selman, Henry A. Kautz. Knowledge Compilation using Horn Approximations. In AAAI. pages 904-909, 1991.
@inproceedings{SelmanK91,
title = {Knowledge Compilation using Horn Approximations},
author = {Bart Selman and Henry A. Kautz},
year = {1991},
researchr = {https://researchr.org/publication/SelmanK91},
cites = {0},
citedby = {0},
pages = {904-909},
booktitle = {AAAI},
}