Sebastiaan Terwijn Probabilistic Logic and Induction. 507-515 2005 15 J. Log. Comput. 4 http://dx.doi.org/10.1093/logcom/exi032 db/journals/logcom/logcom15.html#Terwijn05