sTeX+ - A System for Flexible Formalization of Linked Data

@inproceedings{pub4962,
    author = {

Kohlhase, Andrea
 and 

Kohlhase, Michael
 and 

Lange, Christoph
},
    title = {sTeX+ - A System for Flexible Formalization of Linked Data},
    booktitle = {Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria},
    year = {2010},
    publisher = {arXiv.org}
}