APA (7th ed.) Citation

DONGOL, B., HAYES, I. J., & STRUTH, G. (2016). Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. ACM Transactions on Computational Logic, 1. https://doi.org/10.1145/2874773

Chicago Style (17th ed.) Citation

DONGOL, BRIJESH, IAN J. HAYES, and GEORG STRUTH. "Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency." ACM Transactions on Computational Logic 2016: 1. https://doi.org/10.1145/2874773.

MLA (9th ed.) Citation

DONGOL, BRIJESH, et al. "Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency." ACM Transactions on Computational Logic, 2016, p. 1, https://doi.org/10.1145/2874773.