Leonid Libkin, Limsoon Wong. Unary Quantifiers, Transitive Closure, and Relations of Large Degree. In Michel Morvan, Christoph Meinel, Daniel Krob, editors, STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings. Volume 1373 of Lecture Notes in Computer Science, pages 183-193, Springer, 1998.
Abstract is missing.