| Semantics of Logic Programs with Aggregates. DB Kemp, PJ Stuckey ISLP 91, 387-401, 1991 | 159 | 1991 |
| The Aditi deductive database system J Vaghanl, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey, ... The VLDB Journal 3, 245-288, 1994 | 111 | 1994 |
| Active databases and agent systems—A comparison J Bailey, M Georgeff, DB Kemp, D Kinny, K Ramamohanarao Rules in Database Systems: Second International Workshop, RIDS'95 Glyfada …, 1995 | 88 | 1995 |
| Magic sets and bottom-up evaluation of well-founded models. DB Kemp, D Srivastava, PJ Stuckey ISLP, 337-351, 1991 | 79 | 1991 |
| Bottom-up evaluation and query optimization of well-founded models DB Kemp, D Srivastava, PJ Stuckey Theoretical computer science 146 (1-2), 145-184, 1995 | 75 | 1995 |
| Design Overview of the Aditi Deductive Database System. J Vaghani, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey ICDE, 240-247, 1991 | 73 | 1991 |
| Right-, left-and multi-linear rule transformations that maintain context information DB Kemp, K Ramamohanarao, Z Somogyi Department of Computer Science, University of Melbourne, 1990 | 59 | 1990 |
| Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. DB Kemp, RW Topor ICLP/SLP, 178-194, 1988 | 59 | 1988 |
| Propagating constraints in recursive deductive databases DB Kemp, K Ramamohanarao, I Balbin, K Meenakshi Proc. North American Conference on Logic Programming, 981-998, 1989 | 50 | 1989 |
| Query restricted bottom-up evaluation of normal logic programs. DB Kemp, PJ Stuckey, D Srivastava JICSLP, 288-302, 1992 | 33 | 1992 |
| Analysis based constraint query optimization DB Kemp, PJ Stuckey | 28 | 1993 |
| ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS DB Kemp, K Ramamohanarao, PJ Stuckey Deductive and Object-Oriented Databases: Fourth International Conference …, 1995 | 20 | 1995 |
| Efficient recursive aggregation and negation in deductive databases DB Kemp, K Ramamohanarao IEEE transactions on knowledge and data engineering 10 (5), 727-745, 1998 | 18 | 1998 |
| Propagating constraints in recursive deductive databases I Balbin, DB Kemp, K Meenakshi, K Ramamohanarao Proceedings of the North American Conference on Logic Programming, 16-20, 1989 | 13 | 1989 |
| Optimizing bottom-up evaluation of constraint queries DB Kemp, PJ Stuckey The Journal of logic programming 26 (1), 1-30, 1996 | 9 | 1996 |
| Bottom up constraint logic programming without constraint solving D Kemp, P Stuckey Technical Report, Dept. of Computer Science, University of Melbourne, 1992 | 9 | 1992 |
| An introduction to Aditi deductive database system J Vaghani, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey Australian Computer Journal 23 (2), 37-52, 1991 | 8 | 1991 |
| Syntactically recognizable modularly stratified programs DB Kemp, K Ramamohanarao Department of Computer Science, University of Melbourne, 1993 | 7 | 1993 |
| Aditi-Prolog language manual J Harland, DB Kemp, TS Leask, K Ramamohanarao, JA Shepherd, ... Deductive Database Group, The University of Melbourne, 1992 | 5 | 1992 |
| Aditi users' guide J Harland, DB Kemp, TS Leask, K Ramamohanarao, JA Shepherd, ... Deductive Database Group, The University of Melbourne, 1992 | 5 | 1992 |
