"Well-founded Abduction via Tabled Dual Programs."

José Júlio Alferes, Luís Moniz Pereira, Terrance Swift (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics