Information loss in knowledge compilation: a comparison of Boolean envelopes
scientific article; zbMATH DE number 5777562