TY  - RPRT
TI  - Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
AU  - Angelos Charalambidis
AU  - Zoltán Ésik
AU  - Panos Rondogiannis
PY  - 2014
DO  - 10.1017/s1471068414000313
UR  - https://arxiv.org/abs/1405.3792
ID  - 1405.3792
ER  -