Pynko, A. “Minimization of the Conjunctive Normal Forms of Partially Monotonic Boolean Functions”. Reports of the National Academy of Sciences of Ukraine, no. 3, Mar. 2017, pp. 18-21, doi:10.15407/dopovidi2017.03.018.