Model checking existential logic on partially ordered sets.

Simone Bova, Robert Ganian, Stefan Szeider

Browse the full CSL paper archive.