Many books and papers on the representation theory of finite dimensional algebras state that the first order theory for finite dimensional modules for the free algebra on two generators is undecidable because one can interpret the word problem for finitely presented groups in this theory (I am working over a field). Then they cite some source. The references I have checked (some I cannot access) all reduce the word problem to the theory of all modules. The proof they give clearly does not work for finite dimensional modules. It can be saved by using the undecidability of the uniform word problem for FINITE groups (or semigroups) and Malcev's theorem on residual finiteness of linear (semi)groups.

Question: can somebody give me a source where the theorem is really proved for finite dimensional modules?

**Update:** The paper http://attach.sciencedirect.com/science/article/pii/S0168007297000250 mentions the undecidability for f.g. modules using the uniform word problem for finite groups but it gives the impression it is folklore and gives no source.