Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask and James Harland. "The Aditi deductive database system" UoM Technical Report 93/10

(1993)

Languages mentioned