Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux. A Characterization of Alternating Log Time by First Order Functional Programs. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 90-104, Springer, 2006. [doi]
Abstract is missing.