@BOOK{Kohlhase:omdoc1.2,
  title = {{\sc OMDoc} -- An open markup format for mathematical documents [Version 1.2]},
  booktitle = {{\sc OMDoc} -- An open markup format for mathematical documents [Version
    1.2]},
  publisher = {Springer Verlag},
  year = {2006},
  author = {Michael Kohlhase},
  number = {4180},
  series = {LNAI}}

%% the following are single chapters contributed by other authors, 
%% to resolve the crossreferences place the reference above AFTER 
%% them in the BibTEX file. 

@INCOLLECTION{NRM:omdoc2vf06,
  chapter = {26.20},
  pages = {329--332},
  title = {{OMDoc} as a {D}ata {F}ormat for {VeriFun}},
  crossref = {Kohlhase:omdoc1.2},
  author = {Normen M{\"u}ller}
}

@INCOLLECTION{Palomo:QMath06,
  author = {Alberto Gonz\'alez Palomo},
  title = {{QMath}: A Human-Oriented Language and Batch Formatter for {OMDoc}},
  chapter = {26.2},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{Palomo:06,
  author = {Alberto Gonz\'alez Palomo},
  title = {Sentido: an Authoring Environment for {OMDoc}},
  chapter = {26.3},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{Sutner:cmnto04,
  author =   {Klaus Sutner},
  title =    {Converting {\sc{Mathematica}} Notebooks to {OMDoc}},
  chapter = {26.17},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{AK:mbase06,
  author = {Andreas Franke and Michael Kohlhase},
  title = {{MBase}, an Open Mathematical Knowledge Base},
  chapter = {26.4},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{bkb:siacm,
  author = {Bernd Krieg-Br{\"u}ckner and Achim Mahnke},
  title = {{S}emantic {I}nterrelation and {C}hange {M}anagement},
  crossref = {Kohlhase:omdoc1.2},
  chapter = {26.6},
  pages = {274--277}
}

@INCOLLECTION{AM:OMDocActiveMath06,
  author = {Erica Melis and George Goguadze and Alberto Gonz\'alez Palomo and
      Adrian Frischauf and Martin Homik and Paul Libbrecht and Carsten
      Ullrich},
  title = {{OMDoc in ActiveMath}},
  chapter = {26.8},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{LanKoh:swim06,
  author = {Christoph Lange and Michael Kohlhase},
  title = {{SWiM} -- An {OMDoc}-based Semantic Wiki},
  chapter = {26.10},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{AHMS:maya06,
  author = {Autexier, Serge and Hutter, Dieter and Mossakowski, Till and Schairer,
    Axel},
  title = {Maya: Maintaining Structured Documents},
  chapter = {26.12},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{MML:hets06,
  author = {Till Mossakowski and Christian Maeder and Klaus L{\"u}ttich},
  title = {Hets: The Heterogeneous Tool Set},
  chapter = {26.13},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{Kohlhase:albwo06,
  author = {Michael Kohlhase},
  title = {{\stex}: A {\LaTeX}-Based Workflow for {OMDoc}},
  chapter = {26.15},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{Jansen:omdoc-mode06,
  author = {Peter Jansen},
  title = {An {Emacs} mode for editing {OMDoc} Documents},
  chapter = {26.16},
  crossref = {Kohlhase:omdoc1.2}
}

@INCOLLECTION{ABFL:proof-assistants-scientific-editor06,
  author = {Serge Autexier and Christoph Benzm{\"u}ller and Armin Fiedler and Henri Lesourd},
  title = {Integrating Proof Assistants as Plugins in a Scientific Editor},
  chapter = {26.19},
  crossref = {Kohlhase:omdoc1.2}
}