deprecated.bib

@INCOLLECTION{Montague:tptoqioe73,crossref={Montague:tptoqi73}}
@INCOLLECTION{mont:prop73,crossref={Montague:tptoqi73}}
@INCOLLECTION{kamp81,crossref={Kamp:atotas81}}
@TECHREPORT{Kohlhase94a,crossref={Kohlhase:hoosr94}}
@article{ZanibbiBlostein:RecRetMath,crossref={ZanBlo:rrme12}}

@TECHREPORT{BHLR:xmln06,
  title = {{Namespaces in XML 1.0 (Second Edition)}},
  institution = {World Wide Web Consortium ({W3C})},
  year = {2006},
  month = aug,
  type = {{W3C} Recommendation},
  author = {Tim Bray and Dave Hollander and Andrew Layman and Richard Tobin},
  url = {http://www.w3.org/TR/REC-xml-names/},
  key = {Bray}}

@INPROCEEDINGS{ags-2001-d-9,crossref = FiedlerHoracek:aietlp01}
% moved
@online{mitm:smglom:on,crossref={mitm:smglom:on}}
@online{CASL-NU,crossref={CASL}}

@inproceedings{KohlhaseRapp:fgwm19,crossref={KohRapp:cgal19}}


@ARTICLE{eijck:typstat,crossref = {Eijck:tlws97}}
@INPROCEEDINGS{pratt76,crossref={Pratt:scofhl76}}

@misc{rabeEA:isabelle-lf:10,
  author = "M. Iancu and Florian Rabe",
  title = "{A Formal Semantics of Isabelle/HOL}",
  year = "2010",
  url = {https://svn.kwarc.info/repos/twelf/isabelle},
  pubs={frabe,latin,mmt}
}

@TECHREPORT{BusCapCar:2oms03,
  title = {The {OpenMath} Standard, Version 2.0 Public Draft 4},
  year = {2003},
  institution = {The {OpenMath} Society},
  url = {http://www.openmath.org/standard/om20-2003-11-24/},
  author = {Stephen Buswell and Olga Caprotti and David P. Carlisle and Michael
    C. Dewar and Marc Gaetano and Michael Kohlhase},
  key = {Caprotti}}


@TECHREPORT{W3C:svg02,
  title = {Scalable Vector Graphics (SVG) 1.1 Specification},
  institution = {World Wide Web Consortium (W3C)},
  year = {2002},
  month = apr,
  type = {W3C  Recommendation},
  url = {http://www.w3.org/TR/2002/CR-SVG11-20020430},
  author = {Dean Jackson and Jon Ferraiolo and Jun Fujisawa}}

@online{MO:on,
   label = {MO},
   title = {MathOverflow},
   url = {https://mathoverflow.net/},
   urldate = {2019-01-29}}

@TECHREPORT{w3c:WD-sparql11-query-20100601,
  title = {{SPARQL} 1.1 Query Language},
  institution = {World Wide Web Consortium ({W3C})},
  type = {{W3C} {Working Draft}},
  date = {2010-06-01},
  author = {Steve Harris and Andy Seaborne},
  url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}}


@misc{OpenMath:URL,
  key = {OpenMath},
  title = {OpenMath},
  year = 2009,
  note  = {\webpageat{http://wiki.openmath.org}}}
@online{OpenMathWiki:webpage,lastchecked = feb,crossref = {OpenMathWiki:base}}
@Misc{OpenMathWiki,crossref = {OpenMathWiki:base},
  howpublished = {\url{http://wiki.openmath.org}}}

@TECHREPORT{w3c:WD-rdfa-primer-20110419,
  author = {Mark Birbeck and Ben Adida and Ivan Herman and Manu Sporny},
  title = {{RDFa} 1.1 Primer},
  subtitle = {Rich Structured Data Markup for Web Documents},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2011-04-19},
  type = {{W3C} {Working Draft}},
  url = {http://www.w3.org/TR/2011/WD-rdfa-primer-20110419/}}

@inproceedings{CHKMR:hiding:10,crossref={CHKMR:hiding:10}}
@inproceedings{CHKMRS:lfhets:10,crossref={CHKMRS:lfhets:10}}
@proceedings{MathUI13,crossref = {CICM-WS-WiP2013}}
@proceedings{LanAspCar:CICMWiP13,crossref = {CICM-WS-WiP2013}}
@incollection{AueLeh:whialic07,crossref={AuLeh:whilic07}}
@unpublished{IanJucKoh:sps14,crossref={IanJucKoh:sps15}}
@BOOK{Bourbaki:a68,crossref={Bourbaki:tos68}}
@MISC{OMDocWeb,crossref = {OMDoc:URL}}
@InProceedings{KMR:NoLMD08-short,crossref={KMR:NoLMD08}}

@Online{oeis,crossref={OEIS:on},label={OEIS}}

@ARTICLE{sloane:oies,crossref={Sloane:OEIS}}
@MISC{plato:web,crossref={plato:base},
  key = {plato},
  howpublished = {system homepage at \url{http://www.ags.uni-sb.de/plato/bin/view.pl}},
  note = {seen August  2007, no longer exists}}
  title = {{PLATO: Interactive Mathematical Authoring}},
  url = {http://www.ags.uni-sb.de/plato/bin/view.pl}}

@online{zblmath:online,crossref={zbMath:on}}
@Misc{URL:zblmath,crossref={URL:zblmath:base},
  key = {ZBM},
  howpublished = {\webpageat\url{http://www.zentralblatt-math.org/zbmath}},
  note = {\seen{\November} 2012}}
@Misc{URL:zblmath:base,
  title = {Zentralblatt {MATH}},
  url = {http://www.zentralblatt-math.org/zbmath/}}

@TECHREPORT{PruSea06:sparql,
  title = {{SPARQL} Query Language for {RDF}},
  institution = {World Wide Web Consortium ({W3C})},
  year = {2006},
  type = {{W3C} {Candidate} {Recommendation}},
  month = apr,
  author = {Eric Prud'hommeaux and Andy Seaborne},
  url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}

@unpublished{IanJucKoh:sps15,
 title = {The {SMGLoM} Project and System},
 author = {Deyan Ginev and Mihnea Iancu and Constantin Jucovschi and Andrea Kohlhase and
                  Michael Kohlhase and Heinz Kr{\"o}ger and J{\"u}rgen Schefter and
                  Wolfram Sperber},
 year = {2015},
 url = {http://kwarc.info/kohlhase/submit/cicm15-smglom.pdf}}

@unpublished{LK:OMDocOntologyLanguageESWC09,
  author = {Christoph Lange and Michael Kohlhase},
  title = {A Mathematical Approach to Ontology Authoring and Documentation},
  Url = {https://github.com/OMDoc/OMDoc/blob/master/doc/blue/foaf/eswc2009.pdf},
  year = 2009}


@ARTICLE{chur:form40,crossref={Church:afotst40}}
@online{sTeX-mode:on,
  urldate = {2009-11-10},
  crossref={sTeX-mode:base}}

@MISC{URL:sTeX-mode,
  note = {\seen May   2008},
  howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex/projects/emacs}},
  crossref={sTeX-mode:base}}

@MISC{sTeX-mode:base,
  key = {sTeX-Mode},
  title = {{sTeX} {Emacs} Mode},
  url = {https://svn.kwarc.info/repos/stex/projects/emacs}}

@MISC{URL:sTeX-slides:head,
  key = {sTeX-slides},
  url = {https://svn.kwarc.info/repos/stex-content/slides},
  howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex-content/slides}}}

@Misc{OMDoc:svn,
  key =		 {OMDoc SVN},
  title =	 {The {OMDoc} Subversion Repository},
  howpublished = {Repository at \url{https://svn.omdoc.org/repos/omdoc}},
  url = {https://svn.omdoc.org/repos/omdoc}}

@Misc{CD:inference-rules,
  author = {Michael Kohlhase},
  title = {Inference Rules},
  year = {\seen{Jan 2005}},
  howpublished = {OMDoc Content Dictionary at
                  \url{https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc}},
  url = {https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc}}

@online{latexml:branch:online,crossref={latexml:branch:base},urldate={2013-03-12}}
@Misc{latexml:branch,crossref={latexml:branch:base},
  howpublished = {Web Manual at \url{http://dlmf.nist.gov/LaTeXML/}},
  note = {\seen{\September} 2011}}
@Misc{latexml:branch:base,
  author =   {Deyan Ginev},
  title =    {{\texttt{LaTeXML}}: A {\LaTeX} to {XML} Converter, {arXMLiv} branch},
  url = {https://svn.mathweb.org/repos/LaTeXML/branches/arXMLiv}}


@Misc{mathweb.org:svn,
  key =		 {MathWeb SVN},
  title =	 {Using the {\tt{mathweb.org}} Subversion Repository},
  howpublished = {Web page at \url{http://www.mathweb.org/svn.html}},
  url = {http://www.mathweb.org/svn.html}}


@Unpublished{Kohlhase:OMDoc1.6projects,
  author = 	 {Michael Kohlhase},
  title = 	 {{\omdoc} Projects and Applications [Version 1.6 (pre-2.0)]},
  url = 	 {https://svn.omdoc.org/repos/omdoc/trunk/doc/projects/main.pdf},
  year = 	 2009,
  pubs = {mkohlhase,projects/omdoc}}

@Unpublished{Kohlhase:OMDoc1.6processing,
  author = 	 {Michael Kohlhase},
  title = 	 {Processing {\omdoc} [Version 1.6 (pre-2.0)]},
  url = 	 {https://github.com/OMDoc/OMDoc/processing/main.pdf},
  year = 	 2009,
  pubs = {mkohlhase,projects/omdoc}}


@inproceedings{LK:MathOntoAuthDoc09:FGWM:plain,crossref={LK:MathOntoAuthDoc09:FGWM}}

@Online{EuDML,crossref={EuDML:on}}
@online{NTCIR-Math,crossref={NTCIR10-Math:on}

@PHDThesis{Kohlhase:SemanticInteractionDesignDiss,
crossref={Kohlhase:SemanticInteractionDesignDiss:biblatex}}

@MISC{URL:sTeX:head,
  key = {sTeX},
  howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex}},
  url = {https://svn.kwarc.info/repos/stex}}

@MISC{sTeX:web,crossref={URL:sTeX:github}}
@online{sTeX:online,crossref={sTeX:github:on}}

@TECHREPORT{MilPin:edvddi,crossref={MilPin:edvddi92}}
@UNPUBLISHED{ags-2002-e-1,
  author = {Erica Melis and Jochen B{\"u}denbender and George Goguadze and Paul
    Libbrecht and C. Ullrich},
  title = {Knowledge Representation and Management in ActiveMath},
  note = {To appear in the Proceedings of MKM'01 in Annals of Mathematics and
    Artificial Intelligence},
  year = {2002},
  institution = {DFKI GmbH Saarbr{\"u}cken}}

@ARTICLE{ags-2002-e-7,
  author = {Erica Melis and Jochen B{\"u}denbender and Erik Andres and Adrian
    Frischauf and George Goguadze and Paul Libbrecht and Martin Pollet
    and Carsten Ullrich},
  title = {Knowledge Representation and Management in ActiveMath},
  journal = {International Journal on Artificial Intelligence and Mathematics,
    Special Issue on Management of Mathematical Knowledge},
  year = {2002}}

@INCOLLECTION{groe:dmg,crossref={GroSto:dmg90}}

@MISC{w3c:web:mathml3,
  author = {{W3C}},
  title = {{Mathematical Markup Language (MathML) Version 3.0 (Third Edition)}},
  howpublished = {\url{http://www.w3.org/TR/MathML3/}},
  year = {2007},
  note = {Seen November 2007},
  institution = {World Wide Web Consortium ({W3C})},
  url = {http://www.w3.org/TR/MathML3/}}

@online{MathML3:webpage,
  author = {{W3C}},
  title = {{Mathematical Markup Language (MathML) Version 3.0 (Third Edition)}},
  lastchecked = {December 2008},
  institution = {World Wide Web Consortium ({W3C})},
  type = {Working Draft},
  url = {http://www.w3.org/TR/MathML3/}}

@TECHREPORT{CarlisleEd:MathML10,crossref={CarlisleEd:MathML3:base}}
@TECHREPORT{W3C:MathML3:biblatex,crossref={CarlisleEd:MathML3:base}}

@BOOK{kampreyle93,crossref={KamRey:fdtl93}}

% use CodHorKoh:palai11 instead
@inproceedings{CHKMR:latinabs:11,
  author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe},
  title = "{Project Abstract: Logic Atlas and Integrator ({LATIN})}",
  pages = "287--289",
  crossref = {CICM11},
  keywords = {conference},
  pubs={frabe}}

@Article{StaKoh:tlcspx09,crossref={StaKoh:tlcspx10}}%deprecated
@comment{deprecated: misleading ID.  Fixed entry below}
@INCOLLECTION{KamLamMaaWel:swmkm07,
  author = {Fairouz Kamareddine and Robert Lamar and Manuel Maarek  and J. B. Wells},
  title = {Restoring Natural Language as a Computerised Mathematics Input Method},
  pages = {280--295},
  keywords = {lamapunbibs},
  crossref = {MKM07}}
@comment{deprecated: misleading ID.  Fixed entry below}
@INCOLLECTION{KamLamMaaWel:nsmt07,
  author = {Fairouz Kamareddine and Manuel Maarek and Krzysztof Retel and J. B. Wells},
  title = {Narrative Structure of Mathematical Texts},
  pages = {296--312},
  crossref = {MKM07}}

@comment{deprecated, use SH02  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{HS02,
  author = {Axel Schairer and Dieter Hutter},
  title = {Proof Transformations for Evolutionary Formal Software Development},
  crossref={AMAST02}}
@comment{deprecated: use jena:web instead}
@misc{URL:jena:web,
  key = {Jena},
  note = {system homepage at \url{http://jena.sf.net}},
  note = {seen June  2007},
  crossref = {jena:base}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{lpar92:273,
  author = {Leo Bachmair and Harald Ganzinger},
  title = {Non-Clausal Resolution and Superposition with Selection and Redundancy
    Criteria},
  year = {1992},
  pages = {273--284},
  crossref = {LPAR92}}

@comment{deprecated,use BundyEtAl:tocs90,   Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BuHa90,
  author = {A. Bundy and F. van Harmelen and C. Horn and A. Smaill},
  title = {The Oyster-Clam System},
  year = {1990},
  pages = {647--648},
  crossref = {CADE90}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{GoLe94,
  author = {C. Goller and Reinhold Letz and Klaus Mayr and Johann Schumann},
  title = {{SETHEO} V3.2: Recent Developments},
  year = {1994},
  pages = {778--782},
  crossref = {CADE94}}

@comment{deprecated, use ManLib:apo05,  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AuthPresent,
  author = {Shahid Manzoor and Paul Libbrecht and Carsten Ullrich and Erica Melis},
  title = {{Authoring Presentation for {\sc{OpenMath}}}},
  pages = {33--48},
  crossref = {MKM05}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{ActiveMath,
  author = {E. Melis and E. Andres and A. Franke and G. Goguadze and P. Libbrecht
    and M. Pollet and C. Ullrich},
  title = {{\activemath} System Description},
  pages = {580--582},
  crossref = {AIED01}}
@comment{deprecated, use MosAutHut:edgwh01,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{MAH-01-a,
  author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
  pages = {269--284},
  title = {Extending Development Graphs With Hiding},
  crossref = {FASE01}}

@inproceedings{KohKoh:AssessmentInSACHS:plain,
  author = {Andrea Kohlhase and Michael Kohlhase},
  title = {What you get is what you understand: Assessment in {SACHS}},
  crossref = {FGWM09},
  pages = {22--29},
  url = {http://www.kwarc.info/kohlhase/papers/lwa09-sachs.pdf},
  Year = 2009,
  keywords={workshop},
}

@comment{deprecated, use MosAutHut:edgwh01,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{MossakowskiEtAl00,
  author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
  pages = {269--284},
  title = {Extending Development Graphs With Hiding},
  crossref = {FASE01}}
@comment{deprecated, use PfenningSchuermann:sdtamf99,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@inproceedings{pfenning99system,
  author = {Frank Pfenning and Carsten Sch{\"u}rmann},
  title = {System Description: Twelf --- A Meta-Logical Framework for Deductive
    Systems},
  booktitle = {Proceedings of the 16\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  pages = {202--206},
  crossref = {CADE99}}
@comment{deprecated}
@MISC{w3C:rdfa,
  key = {W3C RDFa Primer},
  editor = {World Wide Web Consortium (W3C)},
  title = {{RDFa Primer}},
  howpublished = {\url{http://www.w3.org/TR/xhtml-rdfa-primer/}},
  institution  = {World Wide Web Consortium (W3C)},
  year = 2008,
  url = {http://www.w3.org/TR/xhtml-rdfa-primer/}}

@comment{deprecated}
@TECHREPORT{AdiBir:RDFa1.0,
  author = {Ben Adida and Mark Birbeck},
  title = {{RDFa Primer 1.0 -- Embedding RDF in XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  month = may,
  year = {2006},
  type = {{W3C Working Draft}},
  url = {http://www.w3.org/TR/2006/WD-xhtml-rdfa-primer-20060516/}}

@comment{deprecated, use ah01:tefsd,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{HS01,
   author    = {Dieter Hutter and Axel Schairer},
   title     = {Towards an Evolutionary Formal Software Development},
   crossref = {ASE01},
   year      = 2001}


@comment{deprecated: duplicate.  Use entry below instead}
@MISC{lucene,
  howpublished = {\url{http://lucene.apache.org/}},
  year = {2000--2006},
  crossref={Lucene:base}}

@comment{deprecated: duplicate.  Use entry below instead}
@INPROCEEDINGS{mkm03:markup-examples,
  author = {George Goguadze and Erica Melis and Carsten Ullrich and Paul Cairns},
  title = {Problems and Solutions for Markup for Mathematical Examples and Exercises},
  pages = {80--93},
  crossref={MKM03}}

@comment{deprecated: duplicate.  Use entry below instead}
@MISC{URL:creativecommons,crossref={creative-commons:base},
  howpublished = {\url{http://www.creativecommons.org}},
  note = {seen February 2008},
  key = {Creative Commons}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AutHut:dgmm02,
  author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
  title = {The Development Graph Manager {MAYA} (system description)},
  crossref = {AMAST02},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AHMS-02-a,
  author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
  title = {The Development Graph Manager {MAYA} (system description)},
  crossref = {AMAST02},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{hut00:mcsv,
   author = {Dieter Hutter},
   title = {Management of Change in Verification Systems},
   crossref = {ASE00},
   pages = {23--34},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Hutter-00-a,
   author = {Dieter Hutter},
   title = {Management of Change in Verification Systems},
   crossref = {ASE00},
   pages = {23--34},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Hutter00,
   author = {Dieter Hutter},
   title = {Management of Change in Verification Systems},
   crossref = {ASE00},
   pages = {23--34},
}

@TECHREPORT{w3c:CR-html5,
  title = {{HTML5}},
  subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2012-03-29},
  year = 2012,
  type = {{W3C} {Candidate Recommentation}},
  author = {Robin Berjon and Steve Faulkner and Travis Leithead and Erika Doyle Navara and Edward O'Connor and Silvia Pfeiffer and Ian Hickson},
  url = {http://www.w3.org/TR/html5/}}
  
@TECHREPORT{w3c:html5,crossref={w3c:WD-html5-20120329}}
@TECHREPORT{w3c:WD-html5-20120329,
  title = {{HTML5}},
  subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2012-03-29},
  year = 2012,
  type = {{W3C} {Working Draft}},
  author = {Ian Hickson},
  url = {http://www.w3.org/TR/2011/WD-html5-20120329/}}

@TECHREPORT{w3c:WD-html5-20110525,
  title = {{HTML5}},
  subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2011-05-25},
  type = {{W3C} {Working Draft}},
  author = {Ian Hickson},
  url = {http://www.w3.org/TR/2011/WD-html5-20110525/}}

@techreport{Hickson:HTML510,
  title = {{HTML5} (including next generation additions still in development)},
  author = {Ian Hickson},
  institution = {Web Hypertext Application Technology Working Group (WHATWG)},
  year = 2010,
  type = {Draft Standard},
  url = {http://whatwg.org/html5},
  urldate = 	 {2010-02-02}}
  

@inproceedings{IR:moc:12,crossref={IanRab:mocdl12}}
@inproceedings{rabe:querying:12,crossref={Rabe:qlfml12}}
@article{KR:omsemantics-long:10,crossref={KohRab:som12}}
@ONLINE{MSC-SKOS:on,crossref={MSCLinkedWiki:on}}
@article{KohDavGin:pswads11,crossref={KohDavGin:psewads11}}
@article{IanKohRabUrb:tmmliotaa11:biblatex,crossref={IanKohRabUrb:tmmliotaa13}}
@article{IKRU:mizar:11,crossref={IanKohRabUrb:tmmliotaa13}}

@comment{deprecated, use Kohlhase:tffm13 instead}
@Unpublished{Kohlhase:tffm12,
  author = 	 {Michael Kohlhase},
  title = 	 {The Flexiformalist Manifesto},
  note = 	 {KWARC Blue Note},
  url = {https://svn.kwarc.info/repos/oaf-dev/doc/blue/manifest/note.pdf},
  year = 	 2012}

@inProceedings{KohKoh:pcmpm11,crossref={KohJuc:pcmpm11}}
@inproceedings{HIJKR:dimensions:11,crossref={HorIacJuc:cscpnrr11}}
@comment{deprecated, use KohRabSac:fvip11.  crossref doesn't work because this entry cross-refs CICM11 itself}
@inproceedings{KohRabSac:fvip10,
  author = 	 {Michael Kohlhase and Florian Rabe and Sacerdoti Coen, Claudio},
  title = {A Foundational View on Integration Problems},
  howpublished = {\url{http://kwarc.info/kohlhase/papers/cicm11-integration.pdf}},
  url = {http://kwarc.info/kohlhase/papers/cicm11-integration.pdf},
  pages = {107--122},
  crossref = {CICM11},
  keywords = {conference},
}
@comment{deprecated, use KohRabSac:fvip11.  crossref doesn't work because this entry cross-refs CICM11 itself}
@inproceedings{RKS:integration:11,
  author = "F. Rabe and M. Kohlhase and C. {Sacerdoti Coen}",
  title = "{A Foundational View on Integration Problems}",
  year = "2011",
  pages = "106--121",
  booktitle = "Intelligent Computer Mathematics",
  editor = "J. Davenport and W. Farmer and F. Rabe and J. Urban",
  series = "LNCS",
  publisher = "Springer",
  volume = "6824",
  keywords = {conference},
  pubs={frabe}
}

@comment{deprecated, use KohRabZho:tmlmrsca10:biblatex,  crossref doesn't work because this entry cross-refs CICM10 itself}
@inProceedings{KohRabZho:tmlmrsca10,
  author = {Michael Kohlhase and Florian Rabe and Vyacheslav Zholudev},
  title =  {Towards {MKM} in the Large: Modular Representation and Scalable Software Architecture},
  crossref = 	 {CICM10},
  howpublished = {\url{http://kwarc.info/kohlhase/papers/mkm10-scalable.pdf}},
  url = {http://kwarc.info/kohlhase/papers/mkm10-scalable.pdf}}
@comment{deprecated, use KohRabZho:tmlmrsca10:biblatex,  crossref doesn't work because this entry cross-refs CICM itself}
@inproceedings{KRZ:mmttnt:10,
  author = "M. Kohlhase and F. Rabe and V. Zholudev",
  title = "{Towards {MKM} in the Large: Modular Representation and Scalable Software Architecture}",
  year = "2010",
  pages = "370--384",
  booktitle = "Intelligent Computer Mathematics",
  editor = "S. Autexier and J. Calmet and D. Delahaye and P. Ion and L. Rideau and R. Rioboo and A. Sexton",
  series = "LNCS",
  publisher = "Springer",
  volume = "6167",
  keywords = {conference},
  pubs={frabe}
}

@comment{deprecated: for non-BibLaTeX compatibility}
@InProceedings{KohKohLan:ssffld10,
  author = 	 {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
  title = {{sTeX} -- A System for Flexible Formalization of Linked Data},
  crossref = {ISEMANTICS2010},
  url = {http://kwarc.info/kohlhase/papers/isem10.pdf}}

@inproceedings{ZKR:tntbase:10,crossref={ZhoKohRab:tntbasef10}}
% deprecated, use next entry
@inproceedings{KR:omsemantics:09,
  author = "M. Kohlhase and F. Rabe",
  title = "Semantics of {OpenMath} and {MathML 3}",
  year = "2009",
  booktitle = "Proceedings of the OpenMath workshop"}

% deprecated, use next entry
@inproceedings{RK:roles:09,
  author = "F. Rabe and M. Kohlhase",
  title = "{A Better Role System for OpenMath}",
  year = "2009",
  booktitle = "Proceedings of the OpenMath workshop"}
@comment{deprecated, use GLR:WebSvcActMathDoc09.  crossref doesn't work because this entry cross-refs MKM09 itself}
@inproceedings{GLR:jobad:09,
  author = {Jana Giceva and Christoph Lange and Florian Rabe},
  title = {Integrating Web Services into Active Mathematical Documents},
  url = {https://svn.omdoc.org/repos/jomdoc/doc/pubs/mkm09/jobad/jobad-server.pdf},
  crossref = {MKM09},
  pages = {279--293},
  keywords = {conference,clange-phd},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@inproceedings{CM:FPRCAU,
  author = {Cristian Calude and Christine M{\"u}ller},
  title = {{Formal Proofs: Reconciling Correctness and Understanding}},
  crossref = {MKM09},
  year = {2009},
}
@incollection{SieKohMel:oamas99,crossref={KohMelSie:oma99}}
@inproceedings{CM:TtAoSCMpbCoP,crossref={MueKoh:cpme08}}
@inproceedings{MK:CTACOPTBOSMUA,crossref={MueKoh:cptsma08}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@inProceedings{KohKoh:SemanticTransparency,
  author = {Andrea Kohlhase and Michael Kohlhase},
  title = {Semantic Transparency in User Assistance Systems},
  url = {http://kwarc.info/kohlhase/papers/sigdoc09-semtrans.pdf},
  crossref = {SIGDOC09},
  pages = {89--96},
  keywords = {conference},
}
@TECHREPORT{CarlisleEd:MathML08,crossref={CarlisleEd:MathML3:base}}
@TECHREPORT{CarlisleEd:MathML09,crossref={CarlisleEd:MathML3:base}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@MISC{swim,
  crossref={SWiM:base},
  key = {SWiM},
  howpublished = {\webpageat\url{http://kwarc.info/projects/swim/}},
  note = {seen October  2008}}
@INPROCEEDINGS{Mueller06:locutor-lwa,crossref = {NRM:lwa06}}
@comment{deprecated, use DKLRZ:PubMathLectNotLinkedData10}
@inproceedings{DKLRZ:jobaddemo:10,
  author = "C. David and M. Kohlhase and C. Lange and F. Rabe and V. Zholudev",
  title = "{Publishing Math Lecture Notes as Linked Data}",
  year = "2010",
  pages = "370--375",
  booktitle = "The Semantic Web: Research and Applications",
  editor = "L. Aroyo and G. Antoniou and E. Hyv{\"o}nen and A. {ten Teije} and H. Stuckenschmidt and L. Cabral and T. Tudorache",
  series = "LNCS",
  publisher = "Springer",
  volume = "6089",
  pubs={frabe},
  keywords = {conference}
}
@article{BenBroKoh:lmcs08,crossref={BenBroKoh:lmcs09}}
@ARTICLE{KohFra:rkcimss00,crossref={KohFra:rkcimss01}}
@article{KohlhaseFranke00,crossref={KohFra:rkcimss01}}
@online{sTex:webpage,crossref={sTeX:base},urldate = {2011-02-22}}
@online{JOMDoc:webpage,lastchecked = {March 2009},crossref={JOMDoc:base}}
@Article{KohKoh:skmfe07,crossref={KohKoh:skmfe08}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BeKo1-CADE98,
  author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
  title = {Extensional Higher Order Resolution},
  year = {1998},
  pages = {56--72},
  crossref = {CADE98},
  url = {http://kwarc.info/kohlhase/papers/BeKo2-CADE98.pdf},
  keywords = {conference},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@online{OAF:online,crossref={OAFF:base},
  urldate = {2011-01-17}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{JoKo94,
  author = {Patricia Johann and Michael Kohlhase},
  title = {Unification in an Extensional Lambda Calculus with Ordered Function
    Sorts and Constant Overloading},
  year = {1994},
  pages = {620--634},
  crossref = {CADE94},
  url = {http://kwarc.info/kohlhase/papers/JoKo94-CADE.pdf},
  keywords = {conference},
}

@InProceedings{OMEGA02,crossref={SiekmannEtAl:pdwo02}}
@online{MWSDemo:webpage,crossref={MWSProj:base}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BeKo2-CADE98,
  author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
  title = {{LEO} -- a Higher Order Theorem Prover},
  crossref = {CADE98},
  url = {http://kwarc.info/kohlhase/papers/BeKo1-CADE98.pdf},
  pages = {139--144},
  keywords = {conference},
}
@Article{MathWeb99,crossref={FraHes:aoidms99}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Omega94,
  author = {Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Erica
    Melis and Daniel Nesmith and J{\"o}rn Richts and J{\"o}rg Siekmann},
  title = {{$\Omega$-MKRP} A Proof Development Environment},
  year = {1994},
  pages = {788--792},
  crossref = {CADE94},
  url = {http://kwarc.info/kohlhase/papers/Omega94-CADE.pdf},
  keywords = {conference},
}
@ARTICLE{HutKoh:msihocu99,crossref={HutKoh:msihocu00}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{HuKo:acvotlc97,
  author = {Dieter Hutter and Michael Kohlhase},
  title = {A Coloured Version of the $\lambda$-Calculus},
  crossref = {CADE97},
  pages = {291--305},
  keywords = {conference},
}
@ARTICLE{KeKoSo98,crossref={KeKoSo:icaipp98}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:OvercomingProprietaryHurdles,
  author = {Andrea Kohlhase},
  title = {{Overcoming Proprietary Hurdles: CPoint as Invasive Editor}},
  pages = {51--56},
  crossref = {OSEE2005},
  keywords={conference},
}
@article{RK:mmt:10,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML08,crossref={RabKoh:WSMSML13}}% we have been working on this for a while
@Article{RabKoh:WSMSML09,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML10,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML11,crossref={RabKoh:WSMSML13}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:smtl05,
  author = {Michael Kohlhase},
  title = {Semantic Markup for {\TeX/\LaTeX}},
  crossref = {MathUI04},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase05:stex,
  author = {Michael Kohlhase},
  title = {Semantic Markup for {\TeX/\LaTeX}},
  crossref = {MathUI04},
}
@article{Kohlhase:sabhs96,crossref={Kohlhase:sat96}}
@ARTICLE{Kohlhase96,crossref={Kohlhase:sat96}}
@PHDTHESIS{Kohlhase94,crossref={Kohlhase:amosho94}}
@article{Kohlhase:sutsmf08,crossref={Kohlhase:ulsmf08}}
@ARTICLE{KohKol:ramgpm01,crossref={KohKol:ramgpm03}}
@ARTICLE{louiJournal99,crossref={SieHes:loui99}}
@INPROCEEDINGS{SiekmannEtAl:acgap00,crossref={SieBen:acgap00}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{ZimmerKohlhase02,
  author = 	 {J{\"u}rgen Zimmer and Michael Kohlhase},
  title = 	 {System {Description}: {The} {MathWeb} Software Bus for Distributed Mathematical Reasoning},
  pages =        {247--252},
  year =         2002,
  url = {http://kwarc.info/kohlhase/papers/cade02.pdf},
  crossref = 	 {CADE02},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InBook{AKoMue:AddedValue,
  author = {Andrea Kohlhase and Normen M{\"u}ller},
  title = {{Added-Value: Getting People into Semantic Work Environments}},
  crossref = {ReDeRa:SWE07},
  pages = {185--205},
}
@comment{deprecated: for non-BibLaTeX compatibility}
@InProceedings{KohKohLan:difcsmse10,
  author = 	 {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
  title = {Dimensions of Formality: A Case Study for {MKM} in Software Engineering},
  pages = {355--369},
  crossref = 	 {CICM10},
  note = {\url{http://arxiv.org/abs/1004.5071}}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:AVAofPPT,
	author = {Andrea Kohlhase},
	title = {{{MS PowerPoint}} Use from a Micro-Perspective},
        crossref = {EdMedia2008},
	pages = {1279--1286},
          keywords={conference},
	url = {http://go.editlib.org/p/28550}}

@inproceedings{Kohlhase:MathGenerationGap:2014,crossref={Kohlhase:mwsiggm14}}

@ARTICLE{KohKoh:SemTransformationOfSpshts,crossref={KohKoh:ssl11}}
@ARTICLE{KohKoh:ssl11,crossref={KohKoh:ssl13}}
@MISC{Kohlhase:omfmd05,crossref = {Kohlhase:OMDoc1.2}}
@UNPUBLISHED{mk06:omdocspec,crossref = {Kohlhase:OMDoc1.2}}

@MISC{CNX:web,crossref = {CNX:base},howpublished = {\webpageat\url{http://cnx.org}}, note = {\seen September  2009}}
@online{CNX:webpage,crossref = {CNX:base},month = jun,year = 2008}

@ARTICLE{BenBroKoh:hose05,crossref={BenBroKoh:hose04}}
@TECHREPORT{ags-2003-d-10,crossref={BenKohBro:hose03}}
@book{blabos:rainl98,crossref={BlaBos:rainl05}}