On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration - Güntzer, Ulrich; Kießling, Werner; Bayer, Rudolf (Technische Universität <München>: TUM-I, 1986)