Jeremy Forth, Rob Miller 0002. Ramifications: An Extension and Correspondence Result for the Event Calculus. Journal of Logic and Computation, 17(4):639-685, 2007. [doi]
@article{ForthM07,
title = {Ramifications: An Extension and Correspondence Result for the Event Calculus},
author = {Jeremy Forth and Rob Miller 0002},
year = {2007},
doi = {10.1093/logcom/exm018},
url = {http://dx.doi.org/10.1093/logcom/exm018},
researchr = {https://researchr.org/publication/ForthM07},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {17},
number = {4},
pages = {639-685},
}