MAYA: Maintaining Structured Developments<pre>@incollection{AHMS-06-a,
  author        = {Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer},
  editor        = {Michael Kohlhase},
  booktitle     = {OMDOC - An Open Markup Format for Mathematical Documents [Version 1.2]},
  title         = {MAYA: Maintaining Structured Developments},
  volume        = {4180},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {281-285},
  month         = {august},
  year          = {2006},
}
</pre>