Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
Jaeger, M. (1995). Default Reasoning about Probabilities. PhD Thesis, Universität des Saarlandes, Saarbrücken.