id: 70151582 dt: a an: 70151582 au: Van Linder, Bernd; Van Der Hoek, Wiebe; Meyer, John-Jules Ch. ti: Tests as epistemic updates so: ECAI, 331-335 (1994). py: 1994 pu: la: EN cc: ut: ci: li: