@article{DBLP:journals/jacm/HenschenN84,
author = {Lawrence J. Henschen and
Shamim A. Naqvi},
title = {On compiling queries in recursive first-order databases},
journal = {J. ACM},
volume = {31},
number = {1},
year = {1984},
pages = {47-85},
ee = {http://doi.acm.org/10.1145/2422.2423},
bibsource = {DBLP, http://dblp.uni-trier.de}
}