"Demonstrating the Glue-Nail Deductive Database System."

Marcia A. Derr, Geoffrey Phipps (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics