On Minimality and Integrity Constraints in Probabilistic Abduction. - Calin-Rares Turliuc; Nataly Maimari; Alessandra Russo; Krysia Broda (LPAR, 2013)