@article{BordihnHolzerKutrib2011,
  author    = {Henning Bordihn and Markus Holzer and Martin Kutrib},
  title     = {Decidability of operation problems for TOL languages and subclasses},
  journal   = {Information and computation},
  volume    = {209},
  number    = {3},
  pages     = {344 -- 352},
  doi       = {10.1016/j.ic.2010.11.008},
  year      = {2011},
}