CHARALAMBIDIS, A., RONDOGIANNIS, P., & SYMEONIDOU, I. (2018). Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Theory and practice of logic programming, 18(3-4), 421-437. https://doi.org/10.1017/S1471068418000108
Chicago-Zitierstil (17. Ausg.)CHARALAMBIDIS, ANGELOS, PANOS RONDOGIANNIS, und IOANNA SYMEONIDOU. "Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs." Theory and Practice of Logic Programming 18, no. 3-4 (2018): 421-437. https://doi.org/10.1017/S1471068418000108.
MLA-Zitierstil (9. Ausg.)CHARALAMBIDIS, ANGELOS, et al. "Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs." Theory and Practice of Logic Programming, vol. 18, no. 3-4, 2018, pp. 421-437, https://doi.org/10.1017/S1471068418000108.