Wlodzimierz Rabinowicz Krister Segerberg Actual Truth, Possible Knowledge. 122-137 1994 conf/tark/1994 TARK db/conf/tark/tark1994.html#RabinowiczS94