Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
Jaeger, M. (2003). A Representation Theorem and Applications. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003 (pp. 50-61). Berlin, Germany: Springer.