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
Citace podle Chicago (17th ed.)CHARALAMBIDIS, ANGELOS, ZOLTÁN ÉSIK, a 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.
Citace podle MLA (9th ed.)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.