Marcia A. Derr Geoffrey Phipps Demonstrating the Glue-Nail Deductive Database System. 163 1993 Workshop on Programming with Logic Databases (Informal Proceedings), ILPS db/conf/deductive/deductive93.html#DerrP93