Knowledge compilation using the extension rule
scientific article; zbMATH DE number 2091575