APA (7th ed.) Citation

KAFLE, B., GALLAGHER, J. P., & GANTY, P. (2018). Tree dimension in verification of constrained Horn clauses. Theory & Practice of Logic Programming, 18(2), 224. https://doi.org/10.1017/S1471068418000030

Chicago Style (17th ed.) Citation

KAFLE, BISHOKSAN, JOHN P. GALLAGHER, and PIERRE GANTY. "Tree Dimension in Verification of Constrained Horn Clauses." Theory & Practice of Logic Programming 18, no. 2 (2018): 224. https://doi.org/10.1017/S1471068418000030.

MLA (9th ed.) Citation

KAFLE, BISHOKSAN, et al. "Tree Dimension in Verification of Constrained Horn Clauses." Theory & Practice of Logic Programming, vol. 18, no. 2, 2018, p. 224, https://doi.org/10.1017/S1471068418000030.