summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl
blob: 42535bf2dd05bffe4a349ca078b55ec1fdff5652 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
\providecommand\seen{seen } \providecommand\webpageat{web page at }
  \providecommand\homepageat{home page at }
  \providecommand\projectpageat{project page at }
  \providecommand\systempageat{system home page at }
  \providecommand\svnrepoat{Subversion repository at }
  \providecommand\January{January} \providecommand\February{February}
  \providecommand\March{March} \providecommand\April{April}
  \providecommand\May{May} \providecommand\June{June}
  \providecommand\July{July} \providecommand\August{August}
  \providecommand\September{September} \providecommand\October{October}
  \providecommand\November{November} \providecommand\December{December}
  \providecommand\AUSTRALIA{Australia} \providecommand\ROMANIA{Romania}
  \providecommand\MEXICO{Mexico} \providecommand\ITALY{Italy}
  \providecommand\USA{USA} \providecommand\IRELAND{Ireland}
  \providecommand\HUNGARY{Hungary} \providecommand\JAPAN{Japan}
  \providecommand\CANADA{Canada} \providecommand\SPAIN{Spain}
  \providecommand\NETHERLANDS{Netherlands} \providecommand\UK{UK}
  \providecommand\SWEDEN{Sweden} \providecommand\GERMANY{Germany}
  \providecommand\openmath{OpenMath} \providecommand\fc{forthcoming}
  \providecommand\PROC{Proceedings} \providecommand\omdoc{OMDoc}
  \providecommand\activemath{ActiveMath}
\begin{thebibliography}{Koh10}

\bibitem[Koh08]{Kohlhase:ulsmf08}
Michael Kohlhase.
\newblock Using {\LaTeX} as a semantic markup format.
\newblock {\em Mathematics in Computer Science}, 2(2):279--304, 2008.

\bibitem[Koh10]{Kohlhase:OMDoc1.3}
Michael Kohlhase.
\newblock An open markup format for mathematical documents {\omdoc} [version
  1.3].
\newblock Draft Specification, 2010.

\end{thebibliography}