@inproceedings{Kohlhaseb,
title = {sTeX -- A System for Flexible Formalization of Linked Data},
author = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
doi = {10.1145/1839707.1839712},
crossref = {ISEMANTICS2010},
keywords = {conference},
pubstate = {published},
tppubtype = {inproceedings}
}