Title: Decidability results on plane automata searching mazes
First published: 1980
Subjects: Machine theory, Search theory, Gödel's theorem
LC classification: QA297 .P64 no. 384, QA267 .P64 no. 384