Schwarz, et al.. An Information-theoretic Proof of the Constructive Commutative Quantum Lovász Local Lemma. 25 Nov. 2013.