https://123dok.net/document/nzwepr7z-connecting-width-and-structure-in-knowledge-compilation.html