APA (7th ed.) Citation

DE ANGELIS, E., FIORAVANTI, F., PETTOROSSI, A., & PROIETTI, M. (2018). Predicate Pairing for program verification. Theory & Practice of Logic Programming, 18(2), 126. https://doi.org/10.1017/S1471068417000497

Chicago Style (17th ed.) Citation

DE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Predicate Pairing for Program Verification." Theory & Practice of Logic Programming 18, no. 2 (2018): 126. https://doi.org/10.1017/S1471068417000497.

MLA (9th ed.) Citation

DE ANGELIS, EMANUELE, et al. "Predicate Pairing for Program Verification." Theory & Practice of Logic Programming, vol. 18, no. 2, 2018, p. 126, https://doi.org/10.1017/S1471068417000497.