MAYA: Maintaining Structured Developments
@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}, }