@misc{indiciaede0b4a23b9c3,
  title = {Algorithmic Thomas Decomposition of Algebraic and Differential Systems},
  author = {Thomas Bächler and Vladimir Gerdt and Markus Lange-Hegermann and Daniel Robertz},
  year = {2011},
  url = {https://arxiv.org/abs/1108.0817},
  note = {Source identifier: 1108.0817}
}