Masashi Katsura, Yuji Kobayashi, Friedrich Otto. Undecidable properties of monoids with word problem solvable in linear time. Part II-- cross sections and homological and homotopical finiteness conditions. Theoretical Computer Science, 1-3(301):79-101, 2003. [doi]
Abstract is missing.