Joseph Y. Halpern Yoram Moses Towards a Theory of Knowledge and Ignorance: Preliminary Report. 125-143 1984 NMR db/conf/nmr/nmr1984.html#HalpernM84