Bernhard Pfahringer: Conjunctive Normal Form. Encyclopedia of Machine Learning and Data Mining 2017: 260-261