Glue-Nail: A Deductive Database System.

Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross

Browse the full SIGMOD paper archive.