Equivalence of nested queries with mixed semantics.

David DeHaan

Browse the full PODS paper archive.