Extensional Higher-Order Logic Programming. - Angelos Charalambidis; Konstantinos Handjopoulos; Panagiotis Rondogiannis; William W. Wadge (ACM Trans. Comput. Log., 2013)