Danièle Beauquier Alexander Moshe Rabinovich Anatol Slissenko A Logic of Probability with Decidable Model Checking. 461-487 2006 16 J. Log. Comput. 4 http://dx.doi.org/10.1093/logcom/exl004 db/journals/logcom/logcom16.html#BeauquierRS06