The equivalence problem of multidimensional multitape automata
scientific article; zbMATH DE number 5369042