| 1997 | DASFAA | Database Transactions in a Purely Declarative Logic Programming Language. | David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi |
| 1994 | ADC | Syntactically Recognizable Modularly Stratified Programs. | David B. Kemp, Kotagiri Ramamohanarao |
| 1994 | EDBT | Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. | Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao |
| 1993 | ICLP | Analysis Based Constraint Query Optimization. | David B. Kemp, Peter J. Stuckey |
| 1993 | ICLP | Status of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |
| 1992 | ICLP | Query Restricted Bottom-Up Evaluation of Normal Logic Programs. | David B. Kemp, Peter J. Stuckey, Divesh Srivastava |
| 1991 | ICDE | Design Overview of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey |
| 1990 | VLDB | Right-, left- and multi-linear rule transformations that maintain context information. | David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi |
| 1988 | ICLP | Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. | David B. Kemp, Rodney W. Topor |