APA (7th ed.) Citation

OIKARINEN, E., & JANHUNEN, T. (2009). A Translation-based Approach to the Verification of Modular Equivalence. Journal of Logic & Computation, 19(4), 591. https://doi.org/10.1093/logcom/exn039

Chicago Style (17th ed.) Citation

OIKARINEN, EMILIA, and TOMI JANHUNEN. "A Translation-based Approach to the Verification of Modular Equivalence." Journal of Logic & Computation 19, no. 4 (2009): 591. https://doi.org/10.1093/logcom/exn039.

MLA (9th ed.) Citation

OIKARINEN, EMILIA, and TOMI JANHUNEN. "A Translation-based Approach to the Verification of Modular Equivalence." Journal of Logic & Computation, vol. 19, no. 4, 2009, p. 591, https://doi.org/10.1093/logcom/exn039.