Jatindra Kumar Deka Reasoning about Extremal Properties of Events. 26-36 2003 conf/time/2003 TIME http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120026abs.htm db/conf/time/time2003.html#Deka03