Vorobyov02'

BibTeX

@article{DBLP:journals/iandc/Vorobyov02,
  author    = {Sergei G. Vorobyov},
  title     = {The Undecidability of the First-Order Theories of One Step
               Rewriting in Linear Canonical Systems},
  journal   = {Inf. Comput.},
  volume    = {175},
  number    = {2},
  year      = {2002},
  pages     = {182-213},
  ee        = {http://www.idealibrary.com/links/doi/10.1006/inco.2002.3151},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}