Conjunctive normal form (English Wikipedia)

Tseitin 1968. Tseitin, Grigori S. (1968). "On the Complexity of Derivation in Propositional Calculus" (PDF). In Slisenko, A.O. (ed.). Structures in Constructive Mathematics and Mathematical Logic, Part II, Seminars in Mathematics (translated from Russian). Steklov Mathematical Institute. pp. 115–125.

doi.org (Global: 2^nd place; English: 2^nd place)

Jackson & Sheridan 2004. Jackson, Paul; Sheridan, Daniel (10 May 2004). "Clause Form Conversions for Boolean Circuits" (PDF). In Hoos, Holger H.; Mitchell, David G. (eds.). Theory and Applications of Satisfiability Testing. 7th International Conference on Theory and Applications of Satisfiability Testing, SAT. Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3542. Vancouver, BC, Canada: Springer 2005. pp. 183–198. doi:10.1007/11527695_15. ISBN 978-3-540-31580-3.

Jackson & Sheridan 2004. Jackson, Paul; Sheridan, Daniel (10 May 2004). "Clause Form Conversions for Boolean Circuits" (PDF). In Hoos, Holger H.; Mitchell, David G. (eds.). Theory and Applications of Satisfiability Testing. 7th International Conference on Theory and Applications of Satisfiability Testing, SAT. Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3542. Vancouver, BC, Canada: Springer 2005. pp. 183–198. doi:10.1007/11527695_15. ISBN 978-3-540-31580-3.

Jackson & Sheridan 2004. Jackson, Paul; Sheridan, Daniel (10 May 2004). "Clause Form Conversions for Boolean Circuits" (PDF). In Hoos, Holger H.; Mitchell, David G. (eds.). Theory and Applications of Satisfiability Testing. 7th International Conference on Theory and Applications of Satisfiability Testing, SAT. Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3542. Vancouver, BC, Canada: Springer 2005. pp. 183–198. doi:10.1007/11527695_15. ISBN 978-3-540-31580-3.

Russel & Norvig 2010, pp. 345–347, 9.5.1 Conjunctive normal form for first-order logic. Russel, Stuart; Norvig, Peter, eds. (2010) [1995]. Artificial Intelligence : A Modern Approach (PDF) (3rd ed.). Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-604259-4. Archived (PDF) from the original on 31 August 2017.

Russel & Norvig 2010, pp. 345–347, 9.5.1 Conjunctive normal form for first-order logic. Russel, Stuart; Norvig, Peter, eds. (2010) [1995]. Artificial Intelligence : A Modern Approach (PDF) (3rd ed.). Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-604259-4. Archived (PDF) from the original on 31 August 2017.