Efficient read-restricted monotone CNF/DNF dualization by learning with membership queries
scientific article; zbMATH DE number 1389690