Raymond Reiter Sequential, Temporal GOLOG. 547-556 1998 KR db/conf/kr/kr98.html#Reiter98