APA (7th ed.) Citation

Ramos, J., Rasga, J., Sernadas, C., & Viganò, L. (2021). Event-Based Time-Stamped Claim Logic. Journal of logical and algebraic methods in programming, 121, 100684. https://doi.org/10.1016/j.jlamp.2021.100684

Chicago Style (17th ed.) Citation

Ramos, Jaime, João Rasga, Cristina Sernadas, and Luca Viganò. "Event-Based Time-Stamped Claim Logic." Journal of Logical and Algebraic Methods in Programming 121 (2021): 100684. https://doi.org/10.1016/j.jlamp.2021.100684.

MLA (9th ed.) Citation

Ramos, Jaime, et al. "Event-Based Time-Stamped Claim Logic." Journal of Logical and Algebraic Methods in Programming, vol. 121, 2021, p. 100684, https://doi.org/10.1016/j.jlamp.2021.100684.