Well-founded Abduction via Tabled Dual Programs.

Jos Jlio Alferes, Lus Moniz Pereira, Terrance Swift

Browse the full ICLP paper archive.