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.
@article{KostlerKTG95, title = {Fixpoint Iteration with Subsumption in Deductive Databases}, author = {Gerhard Köstler and Werner Kießling and Helmut Thöne and Ulrich Güntzer}, year = {1995}, researchr = {https://researchr.org/publication/KostlerKTG95}, cites = {0}, citedby = {0}, journal = {J. Intell. Inf. Syst.}, volume = {4}, number = {2}, pages = {123-148}, }