@misc{indiciaea6960114e362,
  title = {Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs},
  author = {Angelos Charalambidis and Panos Rondogiannis and Ioanna Symeonidou},
  year = {2018},
  doi = {10.1017/s1471068418000108},
  url = {https://arxiv.org/abs/1804.08335},
  note = {Source identifier: 1804.08335}
}