1. 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.
  2. 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.
  3. Marc Bezem (2002): Hoapata programs are monotonic. In: Proceedings NWPT’02, Institute of Cybernetics at TTU, Tallinn, pp. 18–20.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. John W. Lloyd (1987): Foundations of Logic Programming. Springer Verlag, doi:10.1007/978-3-642-83189-8.
  9. Dale Miller & Gopalan Nadathur (2012): Programming with Higher-Order Logic, 1st edition. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9781139021326.
  10. 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.

Comments and questions to:
For website issues: