Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases Adnan H. Yahya OriginalPaper Pages: 1 - 34
SLT-Resolution for the Well-Founded Semantics Yi-Dong ShenLi-Yan YuanJia-Huai You OriginalPaper Pages: 53 - 97