Semantics and complexity of abduction from default theories (1997)

by Thomas Eiter, Georg Gottlob, Nicola Leone
Venue:Artificial Intelligence