1. The intricacies of three-valued extensional semantics for higher-order logic programs. Issue 5 (23rd August 2017) Authors: RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 974 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗