TY  - RPRT
TI  - Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
AU  - Angelos Charalambidis
AU  - Panos Rondogiannis
AU  - Ioanna Symeonidou
PY  - 2018
DO  - 10.1017/s1471068418000108
UR  - https://arxiv.org/abs/1804.08335
ID  - 1804.08335
ER  -