%0 Book Section %1 AutexierEtAl06 %A Autexier, Serge %A Hutter, Dieter %A Mossakowski, Till %A Schairer, Axel %B OMDoc – An Open Markup Format for Mathematical Documents version 1.2 %D 2006 %E Kohlhase, Michael %I Springer %K imported %P 281-285 %T Maya: Maintaining Structured Developments %U /brokenurl#dx.doi.org/10.1007/11826095_30 %V 4180

@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 }