TY  - RPRT
TI  - Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
AU  - Angelos Charalambidis
AU  - Panos Rondogiannis
AU  - Ioanna Symeonidou
PY  - 2015
DO  - 10.4204/eptcs.191.4
UR  - https://arxiv.org/abs/1509.03013
ID  - 1509.03013
ER  -