Estrella Pulido-Cañabate: Recursive query processing in deductive databases using graph traversal and rule compilation techniques. University of Bristol, UK 1996