Abduction in Logic Programming

by Marc Denecker, Antonis Kakas