The CIFF proof procedure for abductive logic programming with constraints (2004)

by U Endriss, P Mancarella, F Sadri, G Terreni, F Toni
Venue:In Proc. of the 9th European Conference on Logics in Artificial Intelligence(Jelia04