APA (7th ed.) Citation

Galmiche, D., & Méry, D. (2010). Tableaux and Resource Graphs for Separation Logic. Journal of Logic & Computation, 20(1), 189. https://doi.org/10.1093/logcom/exn066

Chicago Style (17th ed.) Citation

Galmiche, Didier, and Daniel Méry. "Tableaux and Resource Graphs for Separation Logic." Journal of Logic & Computation 20, no. 1 (2010): 189. https://doi.org/10.1093/logcom/exn066.

MLA (9th ed.) Citation

Galmiche, Didier, and Daniel Méry. "Tableaux and Resource Graphs for Separation Logic." Journal of Logic & Computation, vol. 20, no. 1, 2010, p. 189, https://doi.org/10.1093/logcom/exn066.