Knowledge compilation using Horn approximations

Authored By:	Bart Selman and Henry Kautz
Paper Title:	Knowledge compilation using Horn approximations
Book/Journal Title:	Proc. of AAAI-91

Publication Date:	August 1991