On compiling queries in recursive first-order databases (1984)

by Lawrence J Henschen, Shamim A Naqvi
Venue:J. ACM