A Characterization of Alternating Log Time by First Order Functional Programs.

Guillaume Bonfante Jean-Yves Marion Romain Péchoux A Characterization of Alternating Log Time by First Order Functional Programs. 90-104 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_7 db/conf/lpar/lpar2006.html#BonfanteMP06