Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. - David B. Kemp; Rodney W. Topor (ICLP/SLP, 1988)

Propagating Constraints in Recusive Deduction Databases. - David B. Kemp; Kotagiri Ramamohanarao; Isaac Balbin; Krishnamurthy Meenakshi (NACLP, 1989)

Right-, left- and multi-linear rule transformations that maintain context information. - David B. Kemp; Kotagiri Ramamohanarao; Zoltan Somogyi (VLDB, 1990)

Design Overview of the Aditi Deductive Database System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey (ICDE, 1991)

Semantics of Logic Programs with Aggregates. - David B. Kemp; Peter J. Stuckey (ISLP, 1991)

Magic Sets and Bottom-Up Evaluation of Well-Founded Models. - David B. Kemp; Divesh Srivastava; Peter J. Stuckey (ISLP, 1991)

An Introduction to Aditi Deductive Database System. - Jayen Vaghani; David B. Kemp; Peter J. Stuckey (Aust. Comput. J., 1991)

Query Restricted Bottom-Up Evaluation of Normal Logic Programs. - David B. Kemp; Peter J. Stuckey; Divesh Srivastava (JICSLP, 1992)

On the Foundations of Query Evaluation in Deductive Databases - David B. Kemp (1992)

The Aditi Deductive Datebase System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993)

Analysis Based Constraint Query Optimization. - David B. Kemp; Peter J. Stuckey (ICLP, 1993)

Status of the Aditi Deductive Database System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (ICLP, 1993)

Syntactically Recognizable Modularly Stratified Programs. - David B. Kemp; Kotagiri Ramamohanarao (Australasian Database Conference, 1994)

A Deductive Database Solution to the Preferential Vote Counting Problem. - David B. Kemp; Kotagiri Ramamohanarao (Workshop on Deductive Databases and Logic Programming, 1994)

Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. - Zoltan Somogyi; David B. Kemp; James Harland; Kotagiri Ramamohanarao (EDBT, 1994)

The Aditi Deductive Database System - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (VLDB J., 1994)

ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. - David B. Kemp; Kotagiri Ramamohanarao; Peter J. Stuckey (DOOD, 1995)

Active Databases and Agent Systems - A Comparison. - James Bailey 001; Michael P. Georgeff; David B. Kemp; David Kinny; Kotagiri Ramamohanarao (Rules in Database Systems, 1995)

Bottom-Up Evaluation and Query Optimization of Well-Founded Models. - David B. Kemp; Divesh Srivastava; Peter J. Stuckey (Theor. Comput. Sci., 1995)

Optimizing Bottom-Up Evaluation of Constraint Queries. - David B. Kemp; Peter J. Stuckey (J. Log. Program., 1996)

Database Transactions in a Purely Declarative Logic Programming Language. - David B. Kemp; Thomas C. Conway; Evan P. Harris; Fergus Henderson; Kotagiri Ramamohanarao; Zoltan Somogyi (DASFAA, 1997)

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. - David B. Kemp; Kotagiri Ramamohanarao; Peter J. Stuckey (J. Syst. Integr., 1997)

Efficient Recursive Aggregation and Negation in Deductive Databases. - David B. Kemp; Kotagiri Ramamohanarao (IEEE Trans. Knowl. Data Eng., 1998)

Colorimetric characterisation of flatbed scanners for rock/sediment imaging. - David B. Kemp (Comput. Geosci., 2014)