Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
Jaeger, M. (1994). Probabilistic Reasoning in Terminological Logics. In J. Doyle, E. Sandewall, & P. Torasso (Eds.), Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94) (pp. 305-316). San Mateo, CA: Morgan Kaufmann.