Evaluation paradigms for deductive databases from systolic to as-you-please - Güntzer, Ulrich; Kießling, Werner; Bayer, Rudolf (Technische Universität <München>: TUM-I, 1986)