Joseph Y. Halpern Characterizing the Common Prior Assumption. 133-146 1998 conf/tark/1998 TARK db/conf/tark/tark1998.html#Halpern98a