Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer. The Differential Fixpoint Operator with Subsumption. In DOOD. pages 35-48, 1993.
@inproceedings{KostlerKTG93, title = {The Differential Fixpoint Operator with Subsumption}, author = {Gerhard Köstler and Werner Kießling and Helmut Thöne and Ulrich Güntzer}, year = {1993}, researchr = {https://researchr.org/publication/KostlerKTG93}, cites = {0}, citedby = {0}, pages = {35-48}, booktitle = {DOOD}, }