A Stream AND-Parallel Execution Algorithm with Backtracking. - Zoltan Somogyi; Kotagiri Ramamohanarao; Jayen Vaghani (ICLP/SLP, 1988)

A backtracking algorithm for the stream AND-parallel execution of logic programs. - Zoltan Somogyi; Kotagiri Ramamohanarao; Jayen Vaghani (Int. J. Parallel Program., 1988)

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

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

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)

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)

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)