1. Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases

   • Adnan H. Yahya

   OriginalPaper Pages: 1 - 34

2. Single Elementary Associative-Commutative Matching

   • Steven Eker

   OriginalPaper Pages: 35 - 51

3. SLT-Resolution for the Well-Founded Semantics

   • Yi-Dong Shen
   • Li-Yan Yuan
   • Jia-Huai You

   OriginalPaper Pages: 53 - 97