On Compiling Queries in Recursive First-Order Databases (1984)

by L J Henschen, S A Naqvi
Venue:Journal of ACM