TY - RPRT TI - Compressed Constraints in Probabilistic Logic and Their Revision AU - Paul Snow PY - 2013 UR - https://arxiv.org/abs/1303.5753 ID - 1303.5753 ER -