TY  - RPRT
TI  - Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
AU  - Angelos Charalambidis
AU  - Giannos Chatziagapis
AU  - Babis Kostopoulos
AU  - Panos Rondogiannis
PY  - 2026
UR  - https://arxiv.org/abs/2606.02387
ID  - 2606.02387
ER  -