@misc{indiciaec45b2cb4390c,
  title = {Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation},
  author = {Angelos Charalambidis and Zoltán Ésik and Panos Rondogiannis},
  year = {2014},
  doi = {10.1017/s1471068414000313},
  url = {https://arxiv.org/abs/1405.3792},
  note = {Source identifier: 1405.3792}
}