TY - RPRT TI - Abduction, ASP and Open Logic Programs AU - Piero A. Bonatti PY - 2002 UR - https://arxiv.org/abs/cs/0207021 ID - cs/0207021 ER -