Volume 28, Issue 1 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 28, Issue 1

January 2002

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Adnan H. Yahya
OriginalPaper Pages: 1 - 34
Single Elementary Associative-Commutative Matching
Steven Eker
OriginalPaper Pages: 35 - 51
SLT-Resolution for the Well-Founded Semantics
Yi-Dong Shen
Li-Yan Yuan
Jia-Huai You
OriginalPaper Pages: 53 - 97