Complexity of higher-order queries.

Huy Vu, Michael Benedikt

Browse the full ICDT paper archive.