TY  - RPRT
TI  - The Stable Model Semantics for Higher-Order Logic Programming
AU  - Bart Bogaerts
AU  - Angelos Charalambidis
AU  - Giannos Chatziagapis
AU  - Babis Kostopoulos
AU  - Samuele Pollaci
AU  - Panos Rondogiannis
PY  - 2024
DO  - 10.1017/s1471068424000231
UR  - https://arxiv.org/abs/2408.10563
ID  - 2408.10563
ER  -