Robert J. Aumann Sergiu Hart Motty Perry The Absent-Minded Driver. 97-116 1996 conf/tark/1996 TARK db/conf/tark/tark1996.html#AumannHP96