APA (7th ed.) Citation

KAFLE, B., GALLAGHER, J. P., GANGE, G., SCHACHTE, P., SØNDERGAARD, H., STUCKEY, P. J., . . . Tarau, P. (2018). An iterative approach to precondition inference using constrained Horn clauses. Theory & Practice of Logic Programming, 18(3/4), 553. https://doi.org/10.1017/S1471068418000091

Chicago Style (17th ed.) Citation

KAFLE, BISHOKSAN, JOHN P. GALLAGHER, GRAEME GANGE, PETER SCHACHTE, HARALD SØNDERGAARD, PETER J. STUCKEY, Alessandro Dal Palu, and Paul Tarau. "An Iterative Approach to Precondition Inference Using Constrained Horn Clauses." Theory & Practice of Logic Programming 18, no. 3/4 (2018): 553. https://doi.org/10.1017/S1471068418000091.

MLA (9th ed.) Citation

KAFLE, BISHOKSAN, et al. "An Iterative Approach to Precondition Inference Using Constrained Horn Clauses." Theory & Practice of Logic Programming, vol. 18, no. 3/4, 2018, p. 553, https://doi.org/10.1017/S1471068418000091.