Kousha Etessami

Kousha Etessami and Neil Immerman. Tree canonization and transitive closure. Accepted for publication in Information and Computation. Final manuscript received for publication March 1, 1999. References, etc.