Unary Quantifiers, Transitive Closure, and Relations of Large Degree.

Leonid Libkin, Limsoon Wong

Browse the full STACS paper archive.