Input-Erasing Two-Way Finite Automata. - Alexander Meduna; Dominik Nejedlý; Zbynek Krivka (CoRR, 2025)