APA (7th ed.) Citation

GANGE, G., NAVAS, J. A., SCHACHTE, P., SØNDERGAARD, H., STUCKEY, P. J., Eiter, T., & Toni, F. (2015). Horn clauses as an intermediate representation for program analysis and transformation. Theory & Practice of Logic Programming, 15(4/5), 526. https://doi.org/10.1017/S1471068415000204

Chicago Style (17th ed.) Citation

GANGE, GRAEME, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, PETER J. STUCKEY, Thomas Eiter, and Francesca Toni. "Horn Clauses as an Intermediate Representation for Program Analysis and Transformation." Theory & Practice of Logic Programming 15, no. 4/5 (2015): 526. https://doi.org/10.1017/S1471068415000204.

MLA (9th ed.) Citation

GANGE, GRAEME, et al. "Horn Clauses as an Intermediate Representation for Program Analysis and Transformation." Theory & Practice of Logic Programming, vol. 15, no. 4/5, 2015, p. 526, https://doi.org/10.1017/S1471068415000204.