TY - RPRT TI - Strong equivalence for $\rm LP^{MLN}$ programs AU - Man Luo PY - 2019 UR - https://arxiv.org/abs/1905.07550 ID - 1905.07550 ER -