Derr, Morishita, Phipps, 1994. The Glue-Nail deductive database system: Design, implementation, and evaluation.. https://doi.org/10.1007/bf01228879