@article{BOGAERTS_CHARALAMBIDIS_CHATZIAGAPIS_KOSTOPOULOS_POLLACI_RONDOGIANNIS_2024, title={The Stable Model Semantics for Higher-Order Logic Programming}, volume={24}, DOI={10.1017/S1471068424000231}, number={4}, journal={Theory and Practice of Logic Programming}, author={BOGAERTS, BART and CHARALAMBIDIS, ANGELOS and CHATZIAGAPIS, GIANNOS and KOSTOPOULOS, BABIS and POLLACI, SAMUELE and RONDOGIANNIS, PANOS}, year={2024}, pages={737–754}} <div></div>