Kotagiri Ramamohanarao John Shepherd Isaac Balbin Graeme S. Port Lee Naish James A. Thom Justin Zobel Philip W. Dart The NU-Prolog Deductive Database System. 10-19 1987 http://sites.computer.org/debull/87DEC-CD.pdf 10 IEEE Data Eng. Bull. 4 db/journals/debu/debu10.html#RamamohanaraoSBPNTZD87