Gerhard Köstler Werner Kießling Helmut Thöne Ulrich Güntzer Fixpoint Iteration with Subsumption in Deductive Databases. 123-148 1995 4 J. Intell. Inf. Syst. 2 db/journals/jiis/jiis4.html#KostlerKTG95