"Minimum Model Semantics for Extensional Higher-order Logic Programming ..."

Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics