Vorobyov, Sergei Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Vorobyov, S. (2002). The undecidability of the first-order theories of one step rewriting in linear canonical systems. Information and Computation, 175, 182-213.