TY  - RPRT
TI  - The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs
AU  - Panos Rondogiannis
AU  - Ioanna Symeonidou
PY  - 2017
UR  - https://arxiv.org/abs/1707.04704
ID  - 1707.04704
ER  -