Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
Jaeger, M. (2000). On the complexity of inference about probabilistic relational models. Artificial Intelligence, 117, 297-308.