Marc Bezem (1999):
Extensionality of Simply Typed Logic Programs.
In: Danny De Schreye: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999.
MIT Press,
pp. 395–410.
Marc Bezem (2001):
An Improved Extensionality Criterion for Higher-Order Logic Programs.
In: Laurent Fribourg: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings,
Lecture Notes in Computer Science 2142.
Springer,
pp. 203–216,
doi:10.1007/3-540-44802-0_15.
Marc Bezem (2002):
Hoapata programs are monotonic.
In: Proceedings NWPT’02, Institute of Cybernetics at TTU, Tallinn,
pp. 18–20.
Angelos Charalambidis, Zoltán Ésik & Panos Rondogiannis (2014):
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
TPLP 14(4-5),
pp. 725–737,
doi:10.1017/S1471068414000313.
Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis & William W. Wadge (2013):
Extensional Higher-Order Logic Programming.
ACM Trans. Comput. Log. 14(3),
pp. 21,
doi:10.1145/2499937.2499942.
Weidong Chen, Michael Kifer & David Scott Warren (1993):
HILOG: A Foundation for Higher-Order Logic Programming.
Journal of Logic Programming 15(3),
pp. 187–230,
doi:10.1016/0743-1066(93)90039-J.
Vassilis Kountouriotis, Panos Rondogiannis & William W. Wadge (2005):
Extensional Higher-Order Datalog.
In: Short Paper Proceeding of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
pp. 1–5.
John W. Lloyd (1987):
Foundations of Logic Programming.
Springer Verlag,
doi:10.1007/978-3-642-83189-8.
Dale Miller & Gopalan Nadathur (2012):
Programming with Higher-Order Logic,
1st edition.
Cambridge University Press,
New York, NY, USA,
doi:10.1017/CBO9781139021326.
William W. Wadge (1991):
Higher-Order Horn Logic Programming.
In: Vijay A. Saraswat & Kazunori Ueda: Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991.
MIT Press,
pp. 289–303.