Positive Higher−Order Queries - Benedikt, M; Puppis, G; Vu, H (PODS: The 29th ACM SIGMOD−SIGACT−SIGART Symposium on Principles of Database Systems, 2010)