|
Journals in DBLP
- Adnan H. Yahya
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:1, pp:1-34 [Journal]
- Steven Eker
Single Elementary Associative-Commutative Matching. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:1, pp:35-51 [Journal]
- Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
SLT-Resolution for the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:1, pp:53-97 [Journal]
|