1. Bittencourt, G.: Combining syntax and semantics through prime form representation. Journal of Logic and Computation 18, 13–33 (2008)
2. Coudert, O., Madre, J.: Implicit and incremental computation of primes and essential implicant primes of boolean functions. In: 29th ACM/IEEE Design Automation Conference, pp. 36–39 (1992)
3. Darwiche, A.: Decomposable negation normal form. Journal of the ACM 48(4), 608–647 (2001)
4. Darwiche, A., Marquis, P.: A knowledge compilation map. Journal of AI Research 17, 229–264 (2002)
5. de Kleer, J.: An improved incremental algorithm for computing prime implicants. In: Proc. AAAI 1992, San Jose, CA, pp. 780–785 (1992)