TY  - RPRT
TI  - sTeXIDE: An Integrated Development Environment for sTeX Collections
AU  - Constantin Jucovschi
AU  - Michael Kohlhase
PY  - 2010
UR  - https://arxiv.org/abs/1005.5489
ID  - 1005.5489
ER  -