Abduction from Logic Programs: Semantics and Complexity - Eiter, T; Gottlob, G; Leone, N (1997)