Ting Zhang, Henny B. Sipma, Zohar Manna. Term Algebras with Length Function and Bounded Quantifier Alternation. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan, editors, Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Volume 3223 of Lecture Notes in Computer Science, pages 321-336, Springer, 2004. [doi]
Abstract is missing.