Rondogiannisand Symeonidou. The Intricacies of 3-valued Extensional Semantics for Higher-order Logic Programs. 15 July 2017.