Existential Closures for Knowledge Compilation. - Marquis, Pierre (2011)