Recursive query processing using graph traversal techniques

Performance evaluation of data intensive logic programs

Foundations of deductive databases and logic programming

Recursive query processing: the power of logic

Theoretical Computer Science

The interface between language theory and database theory

Theoretical studies in computer science

Query evaluation under the well-founded semantics

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

XSB as an efficient deductive database engine

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data

LR inference: inference systems for fixed-mode logic programs, based on LR parsing

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming

Chart parsers as inference systems for fixed-mode logic programs

New Generation Computing

CORAL - Control, Relations and Logic

VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases

Parsing as deduction

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics