Awareness, Negation and Logical Omniscience. - Zhisheng Huang; Karen L. Kwast (JELIA, 1990)

Symbolic computation in RL/1. - Sieger van Denneheuvel; Karen L. Kwast; Peter van Emde Boas; Fred de Geus; Ernest Rotterdam (DEXA, 1991)

Weak Equivalence for Constraint Sets. - Sieger van Denneheuvel; Karen L. Kwast (IJCAI, 1991)

The Incomplete Database. - Karen L. Kwast (IJCAI, 1991)

Query Optimization Using Rewrite Rules. - Sieger van Denneheuvel; Karen L. Kwast; Gerard R. Renardel de Lavalette; Edith Spaan (RTA, 1991)

Weak Implication: Theory and Applications. - Karen L. Kwast; Sieger van Denneheuvel (JELIA, 1992)

A Deontic Approach to Database Integrity. - Karen L. Kwast (Ann. Math. Artif. Intell., 1993)

A survey of the rule language RL/1. - Sieger van Denneheuvel; Karen L. Kwast; Zhisheng Huang; Peter van Emde Boas (J. Comput. Sci. Technol., 1993)

Duplicates in SQL. - Karen L. Kwast; Sieger van Denneheuvel (Data Knowl. Eng., 1994)