Yaniv Bargury, Johann A. Makowsky
The Expressive Power of Transitive Closue and 2-way Multihead Automata
CSL, 1991.
@inproceedings{CSL-1991-BarguryM, author = "Yaniv Bargury and Johann A. Makowsky", booktitle = "{Proceedings of the Fifth Workshop on Computer Science Logic}", doi = "10.1007/BFb0023754", isbn = "3-540-55789-X", pages = "1--14", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Expressive Power of Transitive Closue and 2-way Multihead Automata}", volume = 626, year = 1991, }