Burchard von Braunmühl Alternation for Two-way Machines with Sublogarithmic Space. 5-15 1993 conf/stacs/1993 STACS db/conf/stacs/stacs93.html#Braunmuhl93 http://dx.doi.org/10.1007/3-540-56503-5_3