TY - RPRT TI - Abduction with Penalization in Logic Programming AU - Giovambattista Ianni AU - Nicola Leone AU - Simona Perri AU - Francesco Scarcello PY - 2001 UR - https://arxiv.org/abs/cs/0111010 ID - cs/0111010 ER -