Harald Fecher Martin Leucker Verena Wolf <i>Don't Know</i> in Probabilistic Systems. 71-88 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_5 db/conf/spin/spin2006.html#FecherLW06