@misc{indiciaebdd94f2cf26f,
  title = {The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization},
  author = {Christoph Lange and Oliver Kutz and Till Mossakowski and Michael Grüninger},
  year = {2012},
  url = {https://arxiv.org/abs/1204.5093},
  note = {Source identifier: 1204.5093}
}