Inspecting side-effects of abduction in logic programs
Inductive tight semantics for logic programs
Every normal logic program has a 2-valued Minimal Hypotheses semantics