"The Glue-Nail Deductive Database System: Design, Implementation, and ..."

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