1. Bachmair, L., Ganzinger, H.: Rewrite-based Equational Theorem Proving with Selection and Simplification. Journal of Logic and Computation 3(4), 217–247 (1994)
2. Bienvenu, M.: Prime implicates and prime implicants in modal logic. In: Proceedings of the National Conference on Artificial Intelligence, p. 379. AAAI Press, MIT Press, Menlo Park, Cambridge (1999, 2007)
3. Bittencourt, G.: Combining syntax and semantics through prime form representation. Journal of Logic and Computation 18(1), 13–33 (2008)
4. Coudert, O., Madre, J.C.: A new method to compute prime and essential prime implicants of boolean functions. In: Knight, Savage (eds.) Advanced Research in VLSI and Parallel Systems, pp. 113–128 (1992)
5. De Kleer, J.: An improved incremental algorithm for generating prime implicates. In: Proceedings of the tenth National Conference on Artificial Intelligence, pp. 780–785. AAAI Press, Menlo Park (1992)