On the complexity of reasoning about repeating events.

Robert A. Morris Paul H. Morris On the complexity of reasoning about repeating events. 580-588 2000 conf/kr/2000 KR db/conf/kr/kr2000.html#MorrisM00