Compiling propositional weighted bases
scientific article; zbMATH DE number 5003963