Tree Canonization and Transitive Closure

Kousha Etessami, Neil Immerman. Tree Canonization and Transitive Closure. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 331-341, IEEE Computer Society, 1995.

Abstract

Abstract is missing.