Mapping Datalog program execution to networks of processors
WFS + branch and bound = stable models
Reliability estimation during prototyping of knowledge-based systems
Parallel natural language processing on a semantic network array processor
Foundations of secure deductive databases
Efficient signature file methods for text retrieval
G-Log: a graph-based query language
Atlas: a nested relational database system for text applications
Temporal triggers in active databases
Algorithms for asynchronous parallel processing of object-oriented databases
A development environment for an object specification language
On sort-merge algorithm for band joins