ByNobleID
    Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata | NobleID