The amazing mixed polynomial closure and its applications to two-variable first-order logic.

Thomas Place

Browse the full LICS paper archive.