Fixpoint Iteration with Subsumption in Deductive Databases

Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer. Fixpoint Iteration with Subsumption in Deductive Databases. J. Intell. Inf. Syst., 4(2):123-148, 1995.

Abstract

Abstract is missing.