The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.

Paolo Mancarella Giacomo Terreni Fariba Sadri Francesca Toni Ulle Endriss The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. 691-750 2009 9 TPLP 6 http://dx.doi.org/10.1017/S1471068409990093 db/journals/tplp/tplp9.html#MancarellaTSTE09