The Stable Model Semantics for Higher-Order Logic Programming. - BOGAERTS, BART; CHARALAMBIDIS, ANGELOS; CHATZIAGAPIS, GIANNOS; KOSTOPOULOS, BABIS; POLLACI, SAMUELE; RONDOGIANNIS, PANOS (Theory & Practice of Logic Programming, 2024)