Efim B. Kinber The Inclusion Problem for some Classes of Deterministic Multitape Automata. 1-24 1983 26 Theor. Comput. Sci. db/journals/tcs/tcs26.html#Kinber83