Verification Programs for Abduction.

Paolo Liberatore, Francesco M. Donini

Browse the full ECAI paper archive.