@ARTICLE {30589,
author={J. Ramos and J. Rasga and C. Sernadas and L. Viganò},
doi={10.1016/j.jlamp.2021.100684},
journal={Journal of Logical and Algebraic Methods in Programming},
title={Event-Based Time-Stamped Claim Logic},
year={2021},
month={June},
volume={121},
number={100684},
pages={1-28},
ISSN={2352-2208}
}