The Design and Implementation of an Extendible Deductive Database System.

http://doi.acm.org/10.1145/71031.71040 db/journals/sigmod/KiernanMS89.html Jerry Kiernan Christophe de Maindreville Eric Simon The Design and Implementation of an Extendible Deductive Database System. 68-77 sigmodR/18-3/P068.pdf 1989 18 SIGMOD Record 3 db/journals/sigmod/sigmod18.html#KiernanMS89