b'@article{Vorobyov2000-OSR,'b'\nTITLE = {The undecidability of the first-order theories of one step rewriting in linear canonical systems},\nAUTHOR = {Vorobyov, Sergei},\nLANGUAGE = {eng},\nLOCALID = {Local-ID: C1256104005ECAFC-2A710DEFDA246A5AC1256AAF00436D5F-Vorobyov2000-OSR},\nYEAR = {2002},\nDATE = {2002},\nJOURNAL = {Information and Computation},\nVOLUME = {175},\nPAGES = {182--213},\n}\n'