1. Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation*. Issue 4 (21st July 2014) Authors: CHARALAMBIDIS, ANGELOS; ÉSIK, ZOLTÁN; RONDOGIANNIS, PANOS; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 725 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗