Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms
scientific article; zbMATH DE number 1878541