The Expressive Power of Transitive Closue and 2-way Multihead Automata. - Yaniv Bargury; Johann A. Makowsky (CSL, 1991)