Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty

Werner Kießling, Gerhard Köstler, Ulrich Güntzer. Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty. In BTW. pages 316-333, 1993.

Abstract

Abstract is missing.