Distributive expansion of CNF and implicants
Theorem 1 is related to Blake canonical form.

The Wikipedia article refers to


Brown, Frank Markham, Boolean Reasoning: The Logic of Boolean Equations,


which in turn references


Canonical expressions in Boolean algebra. Ph.D. dissertation U (1937)).