Disjunctive closures for knowledge compilation
scientific article; zbMATH DE number 6354999
scientific article