TY  - RPRT
TI  - The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
AU  - Christoph Lange
AU  - Oliver Kutz
AU  - Till Mossakowski
AU  - Michael Grüninger
PY  - 2012
UR  - https://arxiv.org/abs/1204.5093
ID  - 1204.5093
ER  -