APA (7th ed.) Citation

Desharnais, J., Möller, B., & Struth, G. (2006). Kleene Algebra with Domain. ACM Transactions on Computational Logic, 7(4), 798. https://doi.org/10.1145/1183278.1183285

Chicago Style (17th ed.) Citation

Desharnais, Jules, Bernhard Möller, and Georg Struth. "Kleene Algebra with Domain." ACM Transactions on Computational Logic 7, no. 4 (2006): 798. https://doi.org/10.1145/1183278.1183285.

MLA (9th ed.) Citation

Desharnais, Jules, et al. "Kleene Algebra with Domain." ACM Transactions on Computational Logic, vol. 7, no. 4, 2006, p. 798, https://doi.org/10.1145/1183278.1183285.