@incollection{AutexierEtAl06,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Autexier, Serge and Hutter, Dieter and Mossakowski, Till and Schairer, Axel},
  biburl = {https://www.bibsonomy.org/bibtex/2cb8f99d8ff191df071b6770c6884f854/tillmo},
  booktitle = {OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]},
  editor = {Kohlhase, Michael},
  interhash = {37bfd79e63086179e12c28abff3720b3},
  intrahash = {cb8f99d8ff191df071b6770c6884f854},
  keywords = {imported},
  pages = {281-285},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Maya: Maintaining Structured Developments},
  url = {/brokenurl#dx.doi.org/10.1007/11826095_30},
  volume = 4180,
  year = 2006
}