APA (7th ed.) Citation

BOGAERTS, B., CHARALAMBIDIS, A., CHATZIAGAPIS, G., KOSTOPOULOS, B., POLLACI, S., & RONDOGIANNIS, P. (2024). The Stable Model Semantics for Higher-Order Logic Programming. Theory and practice of logic programming, 24(4), 737-754. https://doi.org/10.1017/S1471068424000231

Chicago Style (17th ed.) Citation

BOGAERTS, BART, ANGELOS CHARALAMBIDIS, GIANNOS CHATZIAGAPIS, BABIS KOSTOPOULOS, SAMUELE POLLACI, and PANOS RONDOGIANNIS. "The Stable Model Semantics for Higher-Order Logic Programming." Theory and Practice of Logic Programming 24, no. 4 (2024): 737-754. https://doi.org/10.1017/S1471068424000231.

MLA (9th ed.) Citation

BOGAERTS, BART, et al. "The Stable Model Semantics for Higher-Order Logic Programming." Theory and Practice of Logic Programming, vol. 24, no. 4, 2024, pp. 737-754, https://doi.org/10.1017/S1471068424000231.