Tree Canonization and Transitive Closure

Kousha Etessami, Neil Immerman

Browse the full LICS paper archive.