Selman, B., & Kautz, H. A. (1996). Knowledge Compilation and Theory Approximation. Journal of the ACM, Vol. 43, No. 2, 193-224.
author author author author author author date title title title title title journal journal journal journal volume volume volume volume pages