A software engineering methodology for rule-based systems
Design of LDV: a multilevel secure relational database management system
Design of an integrated information retrieval/database management system
Extensions to SQL for historical databases
FLEX: a tolerant and cooperative user interface to databases
Analysis of replication in distributed database systems
On the multiple-query optimization problem