Unary Quantifiers, Transitive Closure, and Relations of Large Degree

by Leonid Libkin , Limsoon Wong
Citations:9 - 4 self