On the foundations of query evaluation in deductive databases (1992)

by D Kemp