TY  - RPRT
TI  - The Magic of Logical Inference in Probabilistic Programming
AU  - Bernd Gutmann
AU  - Ingo Thon
AU  - Angelika Kimmig
AU  - Maurice Bruynooghe
AU  - Luc De Raedt
PY  - 2011
DO  - 10.1017/s1471068411000238
UR  - https://arxiv.org/abs/1107.5152
ID  - 1107.5152
ER  -