The ciff proof procedure for abductive logic programming with constraints (0)

by U Endress, P Mancarella, F Sadri, G Terreni, F Toni
Venue:Logics in Artificial Intelligence