Unary Quantifiers, Transitive Closure, and Relations of Large Degree

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