Query evaluation and recursion in deductive database systems - Bayer, Rudolf (1985)