Bavera, F., & Bonelli, E. (2018). Justification logic and audited computation. Journal of Logic & Computation, 28(5), 909. https://doi.org/10.1093/logcom/exv037
Chicago Style (17th ed.) CitationBavera, Francisco, and Eduardo Bonelli. "Justification Logic and Audited Computation." Journal of Logic & Computation 28, no. 5 (2018): 909. https://doi.org/10.1093/logcom/exv037.
MLA (9th ed.) CitationBavera, Francisco, and Eduardo Bonelli. "Justification Logic and Audited Computation." Journal of Logic & Computation, vol. 28, no. 5, 2018, p. 909, https://doi.org/10.1093/logcom/exv037.
Warning: These citations may not always be 100% accurate.