Formulas of first-order logic in distributive normal form - Nelte, Karen (Department of Mathematics and Applied Mathematics, 2014)
Bibliography: leaves 140-143.