@misc{indiciaec5be227b245f,
  title = {sTeXIDE: An Integrated Development Environment for sTeX Collections},
  author = {Constantin Jucovschi and Michael Kohlhase},
  year = {2010},
  url = {https://arxiv.org/abs/1005.5489},
  note = {Source identifier: 1005.5489}
}