Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Single Elementary Associative-Commutative Matching
SLT-Resolution for the Well-Founded Semantics