Compact Proofs of Partial Knowledge for Overlapping CNF Formulae | Publicación