TY  - RPRT
TI  - sTeX+ - a System for Flexible Formalization of Linked Data
AU  - Andrea Kohlhase
AU  - Michael Kohlhase
AU  - Christoph Lange
PY  - 2010
UR  - https://arxiv.org/abs/1006.4474
ID  - 1006.4474
ER  -