APA (7th ed.) Citation

DE ANGELIS, E., FIORAVANTI, F., PETTOROSSI, A., PROIETTI, M., Dal Palu, A., & Tarau, P. (2018). Solving Horn Clauses on Inductive Data Types Without Induction. Theory & Practice of Logic Programming, 18(3/4), 452. https://doi.org/10.1017/S1471068418000157

Chicago Style (17th ed.) Citation

DE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, MAURIZIO PROIETTI, Alessandro Dal Palu, and Paul Tarau. "Solving Horn Clauses on Inductive Data Types Without Induction." Theory & Practice of Logic Programming 18, no. 3/4 (2018): 452. https://doi.org/10.1017/S1471068418000157.

MLA (9th ed.) Citation

DE ANGELIS, EMANUELE, et al. "Solving Horn Clauses on Inductive Data Types Without Induction." Theory & Practice of Logic Programming, vol. 18, no. 3/4, 2018, p. 452, https://doi.org/10.1017/S1471068418000157.