Equivalence of two fixed-point semantics for definitional higher-order logic programs. - Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna (Theoretical Computer Science, 2017)