Abduction from logic programs: Semantics and complexity
scientific article; zbMATH DE number 1170342
scientific article