When is naive evaluation possible?

Amlie Gheerbrant, Leonid Libkin, Cristina Sirangelo

Browse the full PODS paper archive.