Duality for goal-driven query processing in disjunctive deductive databases
scientific article; zbMATH DE number 1744324