We show that the problem of whether a query is equivalent to a query of
...
We show that the existence of a first-order formula separating two monad...
Progress-measure lifting algorithms for solving parity games have the be...
An attractor decomposition meta-algorithm for solving parity games is gi...