Jeremy Forth, Rob Miller: Ramifications: An Extension and Correspondence Result for the Event Calculus. J. Log. Comput. 17(4): 639-685 (2007)