@inProceedings{Zhang+Sipma+Manna/04/Term, author = "Ting Zhang and Henny Sipma and Zohar Manna", booktitle = "the $17^{th}$ International Conference on Theorem Proving in Higher Order Logics (TPHOLs'04)", title = "Term Algebras with Length Function and Bounded Quantifier Alternation", pages = "321-336", year = "2004", series = lncs, volume = "3223", publisher = "Springer-Verlag", }