APA (7th ed.) Citation

CHARALAMBIDIS, A., ÉSIK, Z., & RONDOGIANNIS, P. (2014). Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Theory and practice of logic programming, 14(4-5), 725-737. https://doi.org/10.1017/S1471068414000313

Chicago Style (17th ed.) Citation

CHARALAMBIDIS, ANGELOS, ZOLTÁN ÉSIK, and PANOS RONDOGIANNIS. "Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 725-737. https://doi.org/10.1017/S1471068414000313.

MLA (9th ed.) Citation

CHARALAMBIDIS, ANGELOS, et al. "Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation." Theory and Practice of Logic Programming, vol. 14, no. 4-5, 2014, pp. 725-737, https://doi.org/10.1017/S1471068414000313.