On multi-head finite automata | IEEE Conference Publication | IEEE Xplore