"Glue-Nail: A Deductive Database System."

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