Knowledge compilation using horn approximations (1991)

by B Selman, H A Kautz
Venue:In National Conference on Artificial Intelligence