@article{BlumensathOttoWeyer2014,
  title = {Decidability results for the boundedness problem},
  number = {3},
  journal = {Logical Methods in Computer Science},
  author = {Blumensath, Achim and Otto, Martin and Weyer, Marc},
  year = {2014},
  volume = {10},
}