@misc{indiciaed9b1f289b131,
  title = {The Stable Model Semantics for Higher-Order Logic Programming},
  author = {Bart Bogaerts and Angelos Charalambidis and Giannos Chatziagapis and Babis Kostopoulos and Samuele Pollaci and Panos Rondogiannis},
  year = {2024},
  doi = {10.1017/s1471068424000231},
  url = {https://arxiv.org/abs/2408.10563},
  note = {Source identifier: 2408.10563}
}