On 3-head versus 2-head finite automata
scientific article; zbMATH DE number 3456836