@Inproceedings{EPTCS191.4, author = {Charalambidis, Angelos and Rondogiannis, Panos and Symeonidou, Ioanna}, year = {2015}, title = {Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs}, editor = {Matthes, Ralph and Mio, Matteo}, booktitle = {{\rm Proceedings Tenth International Workshop on} Fixed Points in Computer Science, {\rm Berlin, Germany, September 11-12, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {191}, publisher = {Open Publishing Association}, pages = {18-32}, doi = {10.4204/EPTCS.191.4}, }