APA (7th ed.) Citation

Francalanza, A., & Cini, C. (2021). Computer says no: Verdict explainability for runtime monitors using a local proof system. Journal of logical and algebraic methods in programming, 119, 100636. https://doi.org/10.1016/j.jlamp.2020.100636

Chicago Style (17th ed.) Citation

Francalanza, Adrian, and Clare Cini. "Computer Says No: Verdict Explainability for Runtime Monitors Using a Local Proof System." Journal of Logical and Algebraic Methods in Programming 119 (2021): 100636. https://doi.org/10.1016/j.jlamp.2020.100636.

MLA (9th ed.) Citation

Francalanza, Adrian, and Clare Cini. "Computer Says No: Verdict Explainability for Runtime Monitors Using a Local Proof System." Journal of Logical and Algebraic Methods in Programming, vol. 119, 2021, p. 100636, https://doi.org/10.1016/j.jlamp.2020.100636.