@misc{indiciae804d134ab9fc,
  title = {Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs},
  author = {Angelos Charalambidis and Giannos Chatziagapis and Babis Kostopoulos and Panos Rondogiannis},
  year = {2026},
  url = {https://arxiv.org/abs/2606.02387},
  note = {Source identifier: 2606.02387}
}