Notes on Looping Deterministic Two-Way Pushdown Automata. - M. Ladermann; Holger Petersen 001 (Inf. Process. Lett., 1994)