Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
Jaeger, M. (2001). Automatic Derivation of Probabilistic Inference Rules. International Journal of Approximate Reasoning, 28(1), 1-22.