git subrepo clone git@github.com:KWARC/bibs.git kbibs

subrepo:
  subdir:   "kbibs"
  merged:   "ab88a3c"
upstream:
  origin:   "git@github.com:KWARC/bibs.git"
  branch:   "master"
  commit:   "ab88a3c"
git-subrepo:
  version:  "0.3.1"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "a7ee886"

kbibs/.gitignore

+.DS_Store
+dist
+auto
+dist/ltxml
+dist/tex
+dist/html
+dist/pubs
+deploy_key

kbibs/.gitrepo

+; DO NOT EDIT (unless you know what you are doing)
+;
+; This subdirectory is a git "subrepo", and this file is maintained by the
+; git-subrepo command. See https://github.com/git-commands/git-subrepo#readme
+;
+[subrepo]
+	remote = git@github.com:KWARC/bibs.git
+	branch = master
+	commit = ab88a3c08877492d040dc5fd7be290dfc6519324
+	parent = cee8033eacc9305b5daa08d591cf0d866333374a
+	cmdver = 0.3.1

kbibs/.travis.yml

+language: generic # don't install any environment
+
+sudo: required
+script: /bin/bash src/travis/deploy.sh
+env:
+  global:
+  - ENCRYPTION_LABEL: "80dbef1467b0"
+  - COMMIT_AUTHOR_EMAIL: "tkw01536@gmail.com"

kbibs/Makefile

+SHELL:=/bin/bash
+
+### <CONFIG> ###
+# BIB files
+bib.cr				= kwarccrossrefs.bib extcrossrefs.bib
+bib.kcr 			= kwarcpubs.bib $(bib.cr)
+bib.ext				= extpubs.bib $(bib.kcr)
+bib.all				= preamble.bib $(bib.ext)
+bib.people			= mkohlhase akohlhase miancu dginev cjucovschi twiesing dmueller frabe cprodescu clange cdavid vzholudev cmueller nmueller fhorozal
+bib.systems			= sissi tetrapod TNTBase arXMLiv cpoint jomdoc kat krextor llamapun mathhub mmt mws omdoc openmathmap sTeX sally smglom swim
+bib.projects			= FormalCAD jem latin logosphere mathsearch oaf odk odkWP6 omoc once-cs openmath-tn MaMoReD
+
+# Sources
+src				= src/
+bib.src				= ./
+ltxml.src			= $(src)ltxml/
+tex.src				= $(src)tex/
+html.src			= $(src)html/
+pubs.src			= $(src)pubs/
+
+# Destination
+dist				= dist/
+bib.dist			= ./kwarc.bib
+ltxml.dist			= $(dist)ltxml/
+tex.dist			= $(dist)tex/
+html.dist			= $(dist)html/
+pubs.dist			= $(dist)pubs/
+
+# Scripts etc
+bib.sty				= $(ltxml.src)kwarcbibs.sty
+html.script 			= $(html.src)generate-html
+CRXSL				= $(ltxml.src)crossrefs.xsl
+PLXSL				= $(pubs.src)publist.xsl
+PLXSLA				= $(pubs.src)publist-all.xsl
+
+### </CONFIG> ###
+
+# FOR kwarc.bib files
+kwarc.bib.in		= $(bib.all:%=$(bib.src)%)
+
+# for kwarc.bib.xml files
+kwarc.ltxml.in		= $(bib.sty) $(bib.sty).ltxml
+kwarc.ltxml.out		= $(bib.ext:%=$(ltxml.dist)%.xml)
+kcr.src			= $(bib.kcr:%=$(bib.src)%)
+kcr.ltxml.in		= $(ltxml.dist)kcr.bib
+kcr.ltxml.out		= $(kcr.ltxml.in).xml
+
+### TARGETS ###
+
+all: dist
+clean: clean-bib clean-xml clean-html clean-pubs
+
+dist: bib xml pubs
+
+# kwarc.bib --> concat files
+bib: setup-bib $(bib.dist)
+setup-bib:
+	mkdir -p $(dist)
+clean-bib:
+	-rm $(bib.dist)
+$(bib.dist): 
+	awk 'FNR==1{print ""}{print}' $(kwarc.bib.in) > $(bib.dist)
+
+# *.bib.xml --> use latexmlc
+xml: setup-xml $(kwarc.ltxml.out)
+setup-xml:
+	mkdir -p $(ltxml.dist)
+clean-xml: 
+	-rm -r $(ltxml.dist)
+$(kwarc.ltxml.out): $(ltxml.dist)%.xml: $(bib.src)% $(kwarc.ltxml.in)
+	latexmlc $< --bibtex --includestyles --path=$(ltxml.src) --preload=$(bib.sty).ltxml --destination=$@ 2> >(tee $@.ltxlog >&2)
+
+# kcr.bib.xlm --> use latexmlc after generating kcr.bib
+$(kcr.ltxml.in): $(kcr.src)
+	cat $(kcr.src) > $@
+$(kcr.ltxml.out): $(kcr.ltxml.in)
+	latexmlc $< --bibtex --includestyles --path=$(ltxml.src) --preload=$(bib.sty).ltxml --destination=pre-$@ 2> >(tee $@.ltxlog >&2)
+	xsltproc -o $@ $(CRXSL) pre-$@
+	rm -f pre-$@
+
+# *.html --> custom script (xsltproc + latexml)
+html: setup-html $(kcr.ltxml.out)
+	$(SHELL) $(html.script) $(src) $(dist) "$(bib.people) $(bib.projects) $(bib.systems)"
+setup-html:
+	mkdir -p $(html.dist)
+	mkdir -p ${tex.dist}
+	mkdir -p $(ltxml.dist)
+clean-html:
+	-rm -r $(html.dist)
+	-rm -r ${tex.dist}
+
+# pubs --> xsltproc
+pubs: setup-pubs html $(bib.people) $(bib.projects) $(bib.systems) $(pubs.dist)/index.html
+$(pubs.dist)/index.html: setup-pubs html
+	xsltproc --path $(html.dist) -o $(pubs.dist)/index.html $(PLXSLA) $(PLXSLA)
+setup-pubs:
+	mkdir -p $(pubs.dist)
+clean-pubs:
+	-rm -r $(pubs.dist)
+
+$(bib.people): %: $(PLXSL)
+	mkdir -p $(pubs.dist)$@
+	xsltproc --path $(html.dist) --stringparam id $@ -o $(pubs.dist)$@/index.html $(PLXSL) $(PLXSL)
+
+$(bib.projects): %: $(PLXSL)
+	mkdir -p $(pubs.dist)$@
+	xsltproc --path $(html.dist) --stringparam id $@ -o $(pubs.dist)$@/index.html $(PLXSL) $(PLXSL)
+
+$(bib.systems): %: $(PLXSL)
+	mkdir -p $(pubs.dist)$@
+	xsltproc --path $(html.dist) --stringparam id $@ -o $(pubs.dist)$@/index.html $(PLXSL) $(PLXSL)
+
+######## testing
+test: $(kcr.ltxml.out)
+
+echo:
+	@echo $(kwarc.ltxml.out)

kbibs/README.md

+# The KWARC.bib repository [![Build Status](https://travis-ci.org/KWARC/bibs.svg?branch=master)](https://travis-ci.org/KWARC/bibs)
+
+The repository contains the bib resources of the KWARC group, most notably the
+citation database ```kwarc.bib```. It is generated automatically by concatenating
+several source files via a [Travis CI](https://travis-ci.org/) build job. 
+We additionally use the Travis job to generate a 
+[publication website](https://kwarc.github.io/bibs/) with the help of 
+[LaTeXML](http://dlmf.nist.gov/LaTeXML/).
+
+## Using the KWARC bibs
+
+In the simplest case, just clone the repository, and extend your  ```BIBINPUTS```
+environment variable so that it can find it. On a UNIX system something like the following
+should work. 
+```
+cd /path/to/your/setup
+mkdir -p KWARC
+cd KWARC
+git clone https://github.com/KWARC/bibs
+echo 'export BIBINPUTS = "$(BIBINPUTS):/path/to/your/setup/KWARC/bibs"' >> ~/.bashrc
+```
+Of course you will have to replace ```/path/to/your/setup``` with a path appropriate to
+your system.
+
+If you want to use the KWARC in a revision control system for a larger group,  read (far) below. 
+
+
+## File structure
+
+This repository contains two main folders: ```src/``` and ```dist/```. The first 
+folder contains the sources used to generate the content of the latter. All bib
+files are toplevel. 
+
+## Bib files
+The top-level bib files  concatenated to create the unified ```kwarc.bib```
+file. The sources are: 
+
+* ```preamble.bib``` – LaTeX preamble that defines shared macros and strings
+* ```kwarcpubs.bib``` – individual publications of KWARC members (e.g. ```@article```, ```@inproceedings```)
+* ```kwarccrossrefs.bib``` – crossref targets (e.g. ```@proceedings```) edited by KWARC
+members (e.g. when one of us chaired a workshop)
+* ```extpubs.bib``` – publications by external researchers (which may cross-reference
+targets in ```kwarccrossrefs.bib```!)
+* ```extcrossrefs.bib``` – crossref targets edited by external researchers,
+ regardless of whether KWARC or external publications refer to them.
+ * ```deprecated.bib``` deprecated citations that are still kept in ```kwarc.bib``` to
+   format old papers. NOTE that they may contain double crossrefs that need to be fixed
+   manually (the bib is mostly for documentation purposes), best by moving to the
+   non-deprecated versions. 
+ 
+For making citations in your documents, you can simply continue to use the
+all-in-one ```kwarc.bib``` (but keep in mind that it is not editable!), or
+alternatively you can use the individual files. In the latter case, use the
+following order:
+
+1. ```preamble.bib```
+2. pubs.bib
+3. crossrefs.bib
+
+## Editing
+The source files do not have any particular order.
+ 
+Do not use any graphical frontend for editing, but use a text 
+editor, as the latter makes sure that changes are easy to spot
+when using Subversion's diff.
+ 
+Do not touch anything that you don't understand.
+ 
+It is easiest to create new entries by copying and modifying 
+existing ones. 
+
+## Online Publications
+
+For online publications, it is strongly recommended to use
+BibLaTeX's ```@online{foo:on}``` entries; see 
+http://trac.kwarc.info/KWARC/wiki/BibLaTeX 
+ 
+Most online publications come in multiple variants for 
+compatibility with legacy publication workflows (such as LNCS). 
+The naming scheme is: 
+ 
+* ```@online{entry:on}``` -- BibLaTeX ```online``` entry 
+* ```@webpage{entry:webpage}``` -- alpha[h]url, an older solution for 
+ online citations
+* ```@misc{entry:web}``` -- plain BibTeX entry 
+* ```@misc{entry:base}``` -- crossref'd by the others above, contains 
+ common fields, not suitable for citation
+
+## Building locally
+The website and concatenated files are generated and pushed automatically via
+TRAVIS. For building locally we use a ```Makefile```. It has the following 
+targets: 
+
+* ```all = dist```
+* ```dist = bib pubs```
+* ```bib``` Takes the individual .bib files and concatenates them into ```kwarc.bib```
+* ```xml``` Takes the individual .bib files and generates xml versions of them in ```dist/ltxml/*.bib.xml``` using ```latexml```. The generated files are ```.gitignore```d as users should not need them. 
+* ```html``` Takes the generated xml files from above and uses latexml and xslt to first generate .tex files in  ```dist/tex/name-type.tex``` and then html files ```dist/html/name-type.html```. Both types are gitignored. Uses an adapted version of the  ```generate-pubwww``` script, now found in ```src/html/generate.html```. 
+* ```pubs``` Takes the generated html files and builds a nice-looking bibliography in ```dist/pubs```. The output is .gitignored and intended to be committed to a gh-pages branch later on. Although that would still need an index.html, but that should not be a problem. 
+* ```clean-bib```, ```clean-xml```, ```clean-html```, ```clean-pubs```Removes files generated by an individual target. 
+* ```clean``` Removes **all** generated files
+
+The ```xml``` and ```html``` targets depend on a working latexml installation. The ```html``` and ```pubs``` targets also need ```xsltproc```. 
+
+
+# Using this repo in a paper repository
+We write most of our papers in ```git``` repositories, there it is usually a good idea to
+make this repository into an external sub-repository that can be updated as necessary. In
+the instructions below we assume that you - as the paper repos maintainer - want to add the
+KWARC bibs as a sub-repository at path ```lib/kbibs``` from the top of the paper
+repository.
+## The best way for GIT
+is via the ```git-subrepo``` extension of ```git```. Unfortunately this is not part of git
+(yet). So you as the paper repos maintainer have to
+[install it first](https://github.com/git-commands/git-subrepo#readme) if you want to
+install the KWARC bibs as a subrepos. Your users do not, they will get the subrepos
+automatically on ```git clone``` or ```git pull```. 
+
+1. go to the top of your paper prehistory: ```cd path/to/top``` (you can only make a
+  "subrepo" from there) 
+2. add the KWARC bibs repos as a "subrepo": ```git subrepo clone git@github.com:KWARC/bibs.git lib/kbibs```
+
+Note that under ```git-subrepo``` the "external" is not updated automatically, a
+maintainer has to "pull" it. This can be seen as a feature and not a bug (there is less of
+a chance to break things).
+
+1. go to the top of your paper repository: ```cd path/to/top``` (you can only pull from there)
+2. pull the KWARC bibs repos as a "subrepo": ```git subrepo pull lib/kbibs```
+
+To contribute changes back to the the KWARC bibs repository, you analogously do 
+
+1. go to the top of your paper prehistory: ```cd path/to/top``` (you can only push from there)
+2. pull the KWARC bibs repos as a "subrepo": ```git subrepo push lib/kbibs```
+
+easypeasy!
+
+## The second best way for GIT
+is via ```git subtree```. 
+
+1. go to the top of your paper repository: ```cd path/to/top```
+2. add the KWARC bibs repos as a remote: ```git remote add kbibs
+    git@github.com:KWARC/bibs.git``` under the name ```kbibs```.
+3. add the remote ```kbibs```  as a subtree: ```git subtree add --prefix=lib/kbibs kbibs master --squash```
+  (here under the path ```lib/kbibs```). The ```--squash``` reduces history noise. 
+
+When you want to update the subrepository to the newest version, you have to "subtree
+pull" as above: 
+
+1. go to the top of your paper repository: ```cd path/to/top```
+2. subtree-pull: ```git subtree pull --prefix=lib/kbibs kbibs master --squash```
+  this is a bit inconvenient, but works well.
+
+Contributing back to the KWARC bibs repository is somewhat more complex; RTFM!
+
+## Externals in SVN
+In a subversion repository you can must make an external by
+
+1. go to the top of your paper prehistory: ```cd path/to/top```
+2. make the ```lib``` subdir if necessary: ```mkdir lib```
+3. add the external: ```svn propedit svn:externals lib```
+4. an editor will appear, add the line ```kbibs bibs https://github.com/KWARC/bibs/trunk```
+5. commit your work: ```svn commit -m'adding external for the KWARC bibs'```
+
+Note that in SVN any ```svn update``` will update the KWARC bibs in the external as well. 
+
+<!--  LocalWords:  kwarc.bib kwarcpubs.bib kwarccrossrefs.bib crossref extpubs.bib foo:on
+ -->
+<!--  LocalWords:  extcrossrefs.bib crossrefs entry:on entry:webpage entry:web entry:base
+ -->
+<!--  LocalWords:  ltxml latexml gitignore xslt gitignored generate-pubwww gh-pages kbibs
+ -->
+<!--  LocalWords:  xsltproc git-subrepo readme subrepos subrepos subrepo easypeasy subdir
+ -->
+<!--  LocalWords:  subrepository svn:externals
+ -->

kbibs/ako.bib

+@inproceedings{Koh:SearchInterfacesMath:2014,
+  title = {Search Interfaces for Mathematicians},
+  author = {Andrea Kohlhase},
+  crossref = {CICM14},
+  pages = {153--168},
+  url = {http://arxiv.org/abs/1405.3758},
+  pubs = {akohlhase}}
+  
+  @proceedings{CICM14,
+  editor = {Stephan Watt and James Davenport and Alan Sexton and Petr Sojka and Josef Urban},
+  venue = {Coimbra, Portugal},
+  eventdate = {2014-07-07/2014-07-11},
+  eventtitle = {Conferences on Intelligent Computer Mathematics},
+  title = {Intelligent Computer Mathematics},
+  booktitle = {{Intelligent Computer Mathematics} 2014},
+  NOkey = {CICM14},
+  NOlabel = {CICM14},
+  keywords = {conference},
+  publisher = {Springer},
+  series    = {LNCS},
+  number    = {8543},
+  isbn = {978-3-319-08433-6},
+  year = 2014,
+  acceptancerate = {64},
+  acceptancerateCOMMENT = {MKM/Calculemus/DML: 26/41, S&P: 9/14, overall: 35/55},
+}
+  
+  @INPROCEEDINGS{KohKoh:esmk05,
+  author = {Andrea Kohlhase and Michael Kohlhase},
+  title = {An Exploration in the Space of Mathematical Knowledge},
+  crossref = {MKM05},
+  pages = {17--32},
+  url = {http://kwarc.info/kohlhase/papers/mkm05.pdf},
+  keywords = {conference},
+  pubs = {akohlhase,mkohlhase}}
+
+@PROCEEDINGS{MKM05,
+  title = {Mathematical Knowledge Management, MKM'05},
+  year = {2006},
+  editor = {Michael Kohlhase},
+  number = {3863},
+  series = {LNAI},
+  publisher = {Springer Verlag},
+  booktitle = {Mathematical Knowledge Management, MKM'05},
+  keywords = {conference},
+  pubs= {mkohlhase}}
+
+
+@article{GrayTall_DualityAmbiguityFlexibility_1994,
+ ISSN = {00218251, 19452306},
+ URL = {http://www.jstor.org/stable/749505},
+ abstract = {In this paper we consider the duality between process and concept in mathematics, in particular, using the same symbolism to represent both a process (such as the addition of two numbers 3+2) and the product of that process (the sum 3+2). The ambiguity of notation allows the successful thinker the flexibility in thought to move between the process to carry out a mathematical task and the concept to be mentally manipulated as part of a wider mental schema. Symbolism that inherently represents the amalgam of process/concept ambiguity we call a "procept." We hypothesize that the successful mathematical thinker uses a mental structure that is manifest in the ability to think proceptually. We give empirical evidence from simple arithmetic to support the hypothesis that there is a qualitatively different kind of mathematical thought displayed by the more able thinker compared to that of the less able one. The less able are doing a more difficult form of mathematics, which eventually causes a divergence in performance between them and their more successful peers.},
+ author = {Eddie M. Gray, David O. Tall},
+ journal = {Journal for Research in Mathematics Education},
+ number = {2},
+ pages = {116-140},
+ publisher = {National Council of Teachers of Mathematics},
+ title = {Duality, Ambiguity, and Flexibility: A `Proceptual' View of Simple Arithmetic},
+ volume = {25},
+ year = {1994}
+}
+
+@Article{AlsaediEtAl_ExistenceAndGlobalBehavior_2015,
+    Author = {Ramzi {Alsaedi} and Habib {M\^aagli} and Noureddine {Zeddini}},
+    Title = {{Existence and global behavior of positive solution for semilinear problems with boundary blow-up.}},
+    FJournal = {{Journal of Mathematical Analysis and Applications}},
+    Journal = {{J. Math. Anal. Appl.}},
+    ISSN = {0022-247X},
+    Volume = {425},
+    Number = {2},
+    Pages = {818--826},
+    Year = {2015},
+    Publisher = {Elsevier, San Diego, CA},
+    Language = {English},
+    DOI = {10.1016/j.jmaa.2014.12.066},
+    MSC2010 = {35J61 35B09 35B40 35B44},
+    Zbl = {1312.35094}
+}
+
+@Article{Rayner_EyeMovementResearchOverview_1998,
+    Author = {Keith Rayner},
+    Title = {{Eye Movements in Reading and Information Processing: 20 Years of Research}},
+    FJournal = {{Psychological Bulletin}},
+    Volume = {124},
+    Number = {3},
+    Pages = {372-422},
+    Year = {1998},
+    Publisher = {American Psychological Association, Inc.},
+    Language = {English},
+}
+
+@article{Arcavi_VisRepsInMath_2003,
+  journal = {Educational Studies in Mathematics},
+  year = {2003},
+  volume  = {52},
+  number = {3},
+  pages = {215--241},
+  title = {The role of visual representations in the learning of mathematics},
+  author = {Abraham Arcavi}}
+ 
+@TechReport{ChanYeung_MathExpRecognitionSurvey_1999,
+  author =      {Kam-Fai Chan and Dit-Yan Yeung},
+  title =      {Mathematical Expression Recognition: A Survey},
+  institution =  {The Hong Kong University of Science \& Technology},
+  year =      {1999},
+  type =      {Technical Report},
+  number =      {HKUST-CS99-04}}
+
+@inproceedings{KamaliTompa_RetrievingMathContent_2013,
+ author = {Kamali, Shahab and Tompa, Frank Wm.},
+ title = {Retrieving Documents with Mathematical Content},
+ pages = {353--362},
+ crossref = {SIGIR13},
+ numpages = {10}
+}
+% url = {http://doi.acm.org/10.1145/2484028.2484083},
+ %doi = {10.1145/2484028.2484083}
+
+@article{ZanibbiBlostein_MathExp_2012,
+ author = {Zanibbi, Richard and Blostein, Dorothea},
+ title = {Recognition and Retrieval of Mathematical Expressions},
+ journal = {International Jorunal Document Analysis and Recognition},
+ volume = {15},
+ number = {4},
+ month = dec,
+ year = {2012},
+ issn = {1433-2833},
+ pages = {331--357},
+ url = {http://dx.doi.org/10.1007/s10032-011-0174-4},
+ doi = {10.1007/s10032-011-0174-4},
+ publisher = {Springer-Verlag},
+ address = {Berlin, Heidelberg}}
+
+@InCollection{YangEtAl_ShapeFeaturesExtraction_2008,
+  author =      {Mingqiang Yang and Kidiyo Kpalma and Joseph Ronsin},
+  title =      {A Survey of Shape Feature Extraction Techniques},
+  booktitle =      {Pattern Recognition},
+  publisher = {IN-TECH},
+  year =      2008,
+  editor =      {Peng-Yeng Yin},
+  pages =      {43--90}}
+
+@inproceedings{AlvaroZanibbi_LayoutHandwrittenMath_2013,
+ author = {Alvaro, Francisco and Zanibbi, Richard},
+ title = {A Shape-based Layout Descriptor for Classifying Spatial Relationships in Handwritten Math},
+ crossref= {DOCENG13},
+ pages = {123--126},
+ numpages = {4},
+ url = {http://doi.acm.org/10.1145/2494266.2494315},
+ doi = {10.1145/2494266.2494315},
+ publisher = {ACM}
+}
+
+@proceedings{DOCENG13,
+  editor    = {Simone Marinai and Kim Marriott},
+ title = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
+ booktitle = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
+ year = {2013},
+ isbn = {978-1-4503-1789-4},
+ location = {Florence, Italy}}
+
+@proceedings{SIGIR13,
+  editor    = {Gareth J. F. Jones and
+               Paraic Sheridan and
+               Diane Kelly and
+               Maarten de Rijke and
+               Tetsuya Sakai},
+ title = {Proceedings of the 36th International ACM SIGIR Conference on Research and Development in Information Retrieval},
+ booktitle = {Proceedings of the 36th International ACM SIGIR Conference on Research and Development in Information Retrieval},
+ year = {2013},
+ isbn = {978-1-4503-2034-4},
+ location = {Dublin, Ireland},
+ publisher = {ACM},
+ address = {New York, NY, USA}}
+
+@Article{AndraEtAl_ReadingMathReps_2015,
+author="Andr{\'a}, Chiara
+and Lindstr{\"o}m, Paulina
+and Arzarello, Ferdinando
+and Holmqvist, Kenneth
+and Robutti, Ornella
+and Sabena, Cristina",
+title="Reading Mathematics Representations: AN Eye-Tracking Study",
+journal="International Journal of Science and Mathematics Education",
+year="2015",
+volume="13",
+number="2",
+pages="237--259",
+abstract="We use eye tracking as a method to examine how different mathematical representations of the same mathematical object are attended to by students. The results of this study show that there is a meaningful difference in the eye movements between formulas and graphs. This difference can be understood in terms of the cultural and social shaping of human perception, as well as in terms of differences between the symbolic and graphical registers.",
+issn="1573-1774",
+doi="10.1007/s10763-013-9484-y",
+url="http://dx.doi.org/10.1007/s10763-013-9484-y"
+}
+
+@incollection{Schnotz_TextPicComprehension_2005,
+  author = {Wolfgang Schnotz},
+  title = {An Integrated Model of Text and Picture Comprehension},
+  booktitle = {The Cambridge Handbook of Multimedia Learning},
+  editor={R. E. Mayer},
+  pages={49--69 (72--103)},
+  publisher = {Cambridge University Press},
+  year = {2005 (2014)}
+}
+
+@inproceedings{AntoniettEtAl_Metacognition_2008,
+ author = {Antonietti, Alessandro and Colombo, Barbara and Schnotz, Wolfgang and Moreno, Roxana and Marley, Scott and Helak, John and Fiore, Stephen M. and Cuevas, Haydee M. and Scielzo, Sandro},
+ title = {Metacognition in Understanding Multimedia Presentations},
+ booktitle = {Proceedings of the 8th International Conference on International Conference for the Learning Sciences - Volume 3},
+ series = {ICLS'08},
+ year = {2008},
+ location = {Utrecht, The Netherlands},
+ pages = {166--173},
+ numpages = {8},
+ url = {http://dl.acm.org/citation.cfm?id=1599936.1600014},
+ acmid = {1600014},
+ publisher = {International Society of the Learning Sciences},
+} 
+
+@incollection{BeitlichReiss_LesenMathBeweise_2014,
+  author = {Jana Beitlich and Kristina Reiss},
+  title = {Das Lesen mathematischer Beweise - Eine Eye Tracking Studie},
+  booktitle = {Beitr{\"a}ge zum Mathematikunterricht 2014},
+  editor={J. Roth and J. Ames},
+  pages={157--160},
+  publisher = {WTM-Verlag},
+  year = {2014}
+}
+
+@article{DBLP:journals/cogsci/Johnson-Laird80,
+  author    = {Philip N. Johnson{-}Laird},
+  title     = {Mental Models in Cognitive Science},
+  journal   = {Cognitive Science},
+  volume    = {4},
+  number    = {1},
+  pages     = {71--115},
+  year      = {1980},
+  url       = {http://dx.doi.org/10.1207/s15516709cog0401_4},
+  doi       = {10.1207/s15516709cog0401_4},
+  timestamp = {Sun, 05 May 2013 18:38:22 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cogsci/Johnson-Laird80},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+
+@article{HendersonEtAl_semanticEyeMovements_1999,
+  author    = {John M. Henderson and {Phillip A.} {Weeks Jr.} and Andrew Hollingworth},
+  title     = {The effects of semantic consistency on eye movements during complex scene viewing},
+  journal   = {Journal of Experimental Psychology: Human Perception and Performance},
+  volume    = {25},
+  number    = {1},
+  pages     = {210-228},
+  year      = {1999},
+  url       = { http://dx.doi.org/10.1037/0096-1523.25.1.210}
+}
+
+@article{StrahlEtAl_Formelschreck_2010,
+	author = {Alexander Strahl and Julian Grobe and Rainer M{\"u}ller},
+	title = {Was schreckt bei Formeln ab?  - Untersuchung zur Darstellung von Formeln},
+	journal = {PhyDid B - Didaktik der Physik - Beitr{\"a}ge zur DPG-Fr{\"u}hjahrstagung},
+	volume = 0,
+	number = 0,
+	year = 2010,
+	keywords = {Formelverst{\"a}ndnis}
+}
+%	url = {http://phydid.physik.fu-berlin.de/index.php/phydid-b/article/view/169}
+
+@book{Freudenthal_DidacticalPhenomenologyOfMathematics_1983,
+  added-at = {2007-03-30T09:18:22.000+0200},
+  address = {Dordrecht},
+  author = {Freudenthal, Hans},
+  biburl = {http://www.bibsonomy.org/bibtex/2433549f421d821fdfb0419f8dc66ae7d/rmosvold},
+  citeulike-article-id = {489542},
+  howpublished = {Hardcover},
+  interhash = {5290897bf30f85908c37f88ae60e1cfc},
+  intrahash = {433549f421d821fdfb0419f8dc66ae7d},
+  isbn = {9027715351},
+  keywords = {MathematicsEducation mathematics},
+  month = {December},
+  priority = {2},
+  publisher = {Reidel},
+  timestamp = {2007-04-18T11:17:00.000+0200},
+  title = {Didactical Phenomenology of Mathematical Structures (Mathematics Education Library)},
+}
+
+@inproceedings{NielsenLandauer_ModelFindingUsabilityProblems_1993,
+ author = {Nielsen, Jakob and Landauer, Thomas K.},
+ title = {A Mathematical Model of the Finding of Usability Problems},
+ booktitle = {Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems},
+ series = {CHI '93},
+ year = {1993},
+ isbn = {0-89791-575-5},
+ location = {Amsterdam, The Netherlands},
+ pages = {206--213},
+ numpages = {8},
+ url = {http://doi.acm.org/10.1145/169059.169166},
+ doi = {10.1145/169059.169166},
+ acmid = {169166},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {Poisson models, cost-benefit analysis, heuristic evaluation, iterative design, usability engineering, usability problems, user testing}
+} 
+
+@article{Cichy_ImageryAndPerception_2012,
+author = {Cichy, Radoslaw M. and Heinzle, Jakob and Haynes, John-Dylan},
+title = {Imagery and Perception Share Cortical Representations of Content and Location},
+journal = {Cerebral Cortex},
+volume = {22},
+number = {2},
+pages = {372},
+year = {2012}
+}
+%eprint = {/oup/backfile/Content_public/Journal/cercor/22/2/10.1093/cercor/bhr106/2/bhr106.pdf}
+
+@book{Tye_ImageryDebate_2000,
+  author = {Tye, Michael},
+  month = {March},
+  year={2000},
+  series={Representation and Mind series},
+  publisher = {MIT Press},
+  title = {The Imagery Debate},
+}

kbibs/bibtweaks.sty

+\renewbibmacro*{event+venue+date}{}
+\renewbibmacro*{doi+eprint+url}{%
+  \iftoggle{bbx:doi}
+    {\printfield{doi}\iffieldundef{doi}{}{\clearfield{url}}}
+    {}%
+  \newunit\newblock
+  \iftoggle{bbx:eprint}
+    {\usebibmacro{eprint}}
+    {}%
+  \newunit\newblock
+  \iftoggle{bbx:url}
+    {\usebibmacro{url+urldate}}
+    {}}
+
+%  LocalWords:  renewbibmacro doi eprint iftoggle bbx printfield iffieldundef

kbibs/preamble.bib

+@STRING{premessage = "This is the LaTeX preamble shared by all KWARC *.bib files.  "}
+
+
+
+@README{--README--,
+  x = { In your publication list, the \selfedit command can be implemented, e.g., as follows:},
+  x = { \newcommand{\selfedit}{\footnote{In the review process, submissions from chairs were specially handled by the General Chair.}} },
+}
+
+@PREAMBLE{
+{\providecommand\seen{seen }
+\providecommand\selfedit{}
+\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\Feb{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} 
+\hyphenation{Wiki-Sym}}}
+

kbibs/src/html/bibliography-all.xsl

+<?xml version="1.0" encoding="UTF-8"?>
+<xsl:stylesheet version="1.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+		xmlns:ltx="http://dlmf.nist.gov/LaTeXML">
+
+    <!-- suitable for output generated by LaTeXML -->
+
+    <!-- the entries to search for -->
+    <xsl:param name="type" select="'article'"/>
+
+    <xsl:output method="text"/>
+
+    <xsl:template match="/">
+      <xsl:text>\documentclass{article}
+\usepackage{kwarcbibs}
+\bibliography{kwarcpubs,kwarccrossrefs,extcrossrefs}
+\begin{document}
+      </xsl:text>
+      <xsl:choose>
+	<xsl:when test="$type='conference'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type='inproceedings' and descendant::ltx:bib-extract[@role='keywords']='conference']"/>
+	</xsl:when>
+	<xsl:when test="$type='workshop'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type='inproceedings' and not(ltx:bib-extract[@role='keywords']='conference')]"/>
+	</xsl:when>
+	<xsl:when test="$type='cproceedings'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type='proceedings' and descendant::ltx:bib-extract[@role='keywords']='conference']"/>
+	</xsl:when>
+	<xsl:when test="$type='wproceedings'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type='proceedings' and not(ltx:bib-extract[@role='keywords']='conference')]"/>
+	</xsl:when>
+	<xsl:when test="$type='cbook'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type='book']"/>
+	</xsl:when>
+	<xsl:when test="$type='incollection'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type='inbook' or @type='incollection']"/>
+	</xsl:when>
+	<xsl:otherwise>
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[@type=$type]"/>
+	</xsl:otherwise>
+      </xsl:choose>
+      <xsl:text>&#xA;\end{document}&#xA;</xsl:text>	
+    </xsl:template>
+
+    <xsl:template match="ltx:bibentry">
+	<xsl:text>\nocite{</xsl:text>
+	<xsl:value-of select="./@key"/>
+	<xsl:text>}&#xA;</xsl:text>
+    </xsl:template>      
+</xsl:stylesheet>
+

kbibs/src/html/bibliography.xsl

+<?xml version="1.0" encoding="UTF-8"?>
+<xsl:stylesheet version="1.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+		xmlns:ltx="http://dlmf.nist.gov/LaTeXML">
+
+    <!-- suitable for output generated by LaTeXML -->
+
+    <!-- the entries to search for -->
+    <xsl:param name="file" select="'mkohlhase-article'"/>
+    <xsl:variable name="pubs" select="substring-before($file,'-')"/>
+    <xsl:variable name="type" select="substring-after($file,'-')"/>
+
+    <xsl:output method="text"/>
+
+    <xsl:template match="/">
+      <xsl:text>\documentclass{article}
+\usepackage{kwarcbibs}
+\bibliography{kwarcpubs,kwarccrossrefs,extcrossrefs}
+\begin{document}
+      </xsl:text>
+      <xsl:choose>
+	<xsl:when test="$type='conference'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      @type='inproceedings' and descendant::ltx:bib-extract[@role='keywords']='conference']"/>
+	</xsl:when>
+	<xsl:when test="$type='workshop'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      @type='inproceedings' and not(ltx:bib-extract[@role='keywords']='conference')]"/>
+	</xsl:when>
+	<xsl:when test="$type='cproceedings'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      @type='proceedings' and descendant::ltx:bib-extract[@role='keywords']='conference']"/>
+	</xsl:when>
+	<xsl:when test="$type='wproceedings'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      @type='proceedings' and not(ltx:bib-extract[@role='keywords']='conference')]"/>
+	</xsl:when>
+	<xsl:when test="$type='cbook'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      @type='book']"/>
+	</xsl:when>
+	<xsl:when test="$type='incollection'">
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      (@type='inbook' or @type='incollection')]"/>
+	</xsl:when>
+	<xsl:otherwise>
+	  <xsl:apply-templates
+	      select="//ltx:bibentry[contains(ltx:bib-data[@role='pubs'],$pubs) and
+		      @type=$type]"/>
+	</xsl:otherwise>
+      </xsl:choose>
+      <xsl:text>&#xA;\end{document}&#xA;</xsl:text>	
+    </xsl:template>
+
+    <xsl:template match="ltx:bibentry">
+	<xsl:text>\nocite{</xsl:text>
+	<xsl:value-of select="./@key"/>
+	<xsl:text>}&#xA;</xsl:text>
+    </xsl:template>      
+</xsl:stylesheet>
+

kbibs/src/html/generate-html

+#!/bin/bash
+
+# Check that we have the right number of parameters, otherwise die. 
+if [ "$#" -ne 3 ]; then 
+  >&2 echo "Illegal number of parameters (expected 3, got $#). ";
+  >&2 echo "Usage: $0 \$SRC \$DIST \$KWARC";
+  >&2 echo "Generates html from .html and .xml files"; 
+  exit 1;
+fi
+
+# read variables
+SRC="$1"
+DIST="$2"
+KWARC="$3"
+
+echo "Generating html from $SRC into $DIST"
+
+# files
+BIB_XSL="${SRC}html/bibliography.xsl"
+BIB_ALL_XSL="${SRC}html/bibliography-all.xsl"
+
+
+LTOPT="--bibliography=${DIST}ltxml/kcr.bib.xml --format=xhtml --path=${SRC}ltxml --preload=${SRC}ltxml/kwarcbibs.sty.ltxml"
+
+## now we extract all the HTML from kcr.bib
+TYPES='article incollection conference workshop book thesis report unpublished misc wproceedings cproceedings cbook'
+for i in $KWARC; do
+    for j in $TYPES; do
+	echo "Generating special LaTeX file ${DIST}tex/$i-$j.tex";
+    	xsltproc --stringparam file $i-$j -o ${DIST}tex/$i-$j.tex ${BIB_XSL} ${DIST}ltxml/kcr.bib.xml;
+	echo "converting it to XML";
+	latexmlc ${LTOPT} --destination=${DIST}html/$i-$j.html ${DIST}tex/$i-$j.tex 2> >(tee ${DIST}tex/$i-$j.ltxlog >&2);
+    done;
+done;
+
+for j in $TYPES; do
+  echo "Generating special LaTeX file ${DIST}tex/$j.tex";
+  xsltproc --stringparam type $j -o ${DIST}tex/$j.tex ${BIB_ALL_XSL} ${DIST}ltxml/kcr.bib.xml;
+  echo "converting it to XML";
+	latexmlc ${LTOPT} --destination=${DIST}html/$j.html ${DIST}tex/$j.tex 2> >(tee ${DIST}tex/$j.ltxlog >&2);
+done;
\ No newline at end of file

kbibs/src/kwarcnocites.tex

+% kwarc citations, generated from kwarcpubs.bib with emacs M-x occur (and some manual
+% work) update this from time to time. 
+\mypubkeys{%
+%2014
+cjucovschi:interaction_integration:14,
+HKR:flexary:14,
+Koh:SearchInterfacesMath:2014,
+Rabe:literal:14,
+KalRab:hollight:14,
+IanJucKoh:sdsal2oc14,
+IanJucKoh:sps14,
+Kohlhase:dmesmgm14,
+DumGinKoh:katsd14,
+IanJucKoh:sdm14,
+CarFarKoh:rsckmt14,
+KohIan:crsmmd14,
+Kohlhase:mkmtobbtg14,
+%2013
+KohMihSperTes:mfs13,
+LanAspCar:CICMWiP13,
+KohlhaseEtAl:FullSemanticTransparency:2013,
+KohManRab:aumftg13,
+KohKoh:ssl13,
+RabKoh:WSMSML13,
+DoeKohLin:oamim13,
+IanKohRabUrb:tmmliotaa13,
+DoeKoh:mamim13,
+Kohlhase:tffm13,
+Kohlhase:kmsedcs13,
+%2012
+DML12,
+Rabe:ttbor12,
+Koh:NavigationInMathDocs2012,
+ JucEth12:redsys,
+cdavid:mscthesis,
+KohDavGin:fspmco12,
+ProKoh:mwssofse12,
+DavJucKoh:safusa12,
+HorKohRab:emfsl12,
+Kohlhase:ppte12,
+KohIan:ssmk12,
+LIDBSKA:MSC-SKOS12,
+Kohlhase:mdadmls12,
+LanKoh:MathMashups12,
+KohRab:som12,
+LangeEtAl:MSC-LOD12,
+MSC-SKOS,
+HR:tptp:12,
+dumbrava:msc,
+horozal:msc,
+alecu:bsc,
+ignatov:bsc,
+iacob:msc,
+IR:ui:12,
+CHMR:compiling:12,
+RS:vertrans:12,
+CHIR:casl:12,
+HR:patterns:12,
+Iancu:mcdl12,
+IanRab:mocdl12,
+% 2011
+HenZho:tlxx11:biblatex,
+DFRU:cicm:11,
+DFRU:cicmwip:11,
+GNRS:lfmtpmlpa:11,
+CGL:PublishingUnitsQuantitiesPost11,
+CGL:PublishingUnitsQuantities11,
+zamdzhiev:bsc:math,
+SEPUBLICA11,
+Lange:KrextorSystem11,
+DC:BauDenkMalNetz11,
+OCAS2011,
+MathWiki11,
+KohJuc:pcmpm11,
+IanKohRab:tmmlof11,
+ProKoh:mwsofse11,
+KohDavGin:psewads11,
+LKDGKMMZ:PlanetaryExecutableSTEM11,
+KohKoh:micvl11,
+KohKoh:tfndc11,
+KohKoh:vl11,
+CodHorKoh:palai11,
+HorIacJuc:cscpnrr11,
+GinStaKoh:latexmldaemon11,
+DavGin+:fmspscdl11,
+AutDav+:wfcs11,
+% 2010
+KohKohLan:difcsmse10:biblatex,
+KohRabSac:fvip11,
+KohRabZho:tmlmrsca10:biblatex,
+JucKoh:sidesc10:biblatex,
+KohKohLan:ssffld10:biblatex,
+DKLRZ:PubMathLectNotLinkedData10,
+StaKoh:tlcspx10,
+StaGinDav:calxmec10,
+GinJucAnc:alsaacl09,
+GriWolKoh:tcbdme09,
+StaGinDav:maacl09,
+StaGinDav:acsmlcl09,
+KohLemSchSch:fmccp09a,
+ZhoKoh:tvsx09,
+ZhoKoh:sdxvdt10,
+Kohlhase:OMDoc1.6spec,
+Kohlhase:OMDoc1.3,
+Kohlhase:OMDoc1.6book,
+Kohlhase:OMDoc1.6primer,
+Kohlhase:OMDoc1.6processing,
+Kohlhase:OMDoc1.6projects,
+TLCSK:SemanticBugSearch09,
+DavKoh:umoattsea09,
+DavKoh:umoattsfp09,
+DavKoh:qio09,
+RabKoh:abrsom09,
+KGLZ:JOBADabstract09,
+DKLRZ:JOBAD-MMT-AIMashup10,
+GLR:WebSvcActMathDoc09,
+LK:MathOntoAuthDoc09,
+LK:MathOntoAuthDoc09:FGWM,
+calMue:fprcu09,
+TR:CM:FPRCAU,
+OpenMathWiki:on,
+KohLemSchSch:fmccp09,
+KohKoh:ccbss09,
+KohKoh:sifemp09,
+KohKoh:ccbssmt09,
+Kohlhase:BootstrappingPragmaticStrictOMDoc,
+RabeKohlhase:ExchangeModularKnowledge,
+CM:CoPSW,
+CM:CoPSW:DC,
+TR:KLMMR:NfAD,
+NM:CMoSSD,
+TR:MK:CAAACoMN,
+MK:CAAACoMN,
+LBGBH08:SIOC-argumentation,
+HuKeKo:gcccp94,
+Kohlhase:SemanticInteractionDesignDiss:biblatex,
+TR:MK:CoPiMeL,
+JG:CRAiMDuOaS,
+KohPro:MWSmanual,
+LangeGonzalez:SWiM-Sentido08,
+Lange:Krextor09,
+Zholudev:TNTBaseVDs10,
+Zholudev:TNTBaseRESTful,
+Zholudev:TNTBaseRESTful:web,
+Rabe:MMT,
+krextor:on,
+LangeEtAl:ArgumentationSWiM08,
+KohKoh:csbs08,
+LangeEtAl:ArgumentationSWiMSCooP08,
+MK:CTACoPT,
+Kohlhase:wcl08,
+KohMelSie:oma99,
+Kohlhase:ar03,
+CM:TCwIO,
+CM:TACCMCOP,
+MueKoh:cpme08,
+MueKoh:cptsma08,
+NRM08:fst,
+KohKoh:AssessmentInSACHS,
+KohKoh:SACHSCoverage10,
+KohKoh:stuas09,
+KohKoh:mteuas09,
+Ionita:ExtractingRDFFromOMDoc08,
+URL:omdocspec,
+VZ:resprop,
+AI:internrep,
+lange:swim-demo08,
+cm:mn:08,
+KLMMR:AoNiLMD,
+lange:swim-notation-semantics08,
+Lange:SWiM-OpenMath08,
+LangeMcLRabe:FlyspeckWiki08,
+KMR:NoLMD08,
+StaKoh:tax08,
+KohAncJuc:MWS08:biblatex,
+Lange:SWiMSciColl07,
+CarlisleEd:MathML10,
+NRM:DA05,
+MK:Proofs:omdoc2vf06,
+MK:ProofObjects:omdoc2vf06,
+NRM:resprop,
+NRM:wp1:07,
+panta:on,
+janta:URL,
+pr-project:on,
+Panta:web,
+pr-project:web,
+Panta:demo,
+Panta:gencs,
+AA:BTIPR08,
+Panta:cs:precourse:on,
+SWiM:on,
+URL:sTeX:head,
+sTeX-mode:on,
+URL:sTeX-slides:head,
+NRM:lwa06,
+MW:lwa07,
+NRM:kij07,
+KuKeKo:bo96,
+mueller07:lectora-resprop,
+Lange07:kwepsy,
+Lange07:swimplus-resprop,
+wikipedia:omdoc,
+Panta:CSFall2007,
+LanKoh:swmkm07,
+Lange:swmkm-tr07,
+Pesikan:cwcr06,
+Misev:sumo2omdoc,
+HorKohRab:tal10,
+HKR:sequences:11,
+AR:lamkrip:11,
+HR:folsound:10,
+CHKMRS:lfhets:11,
+IKR:mizar:11,
+rabeEA:isabelle-lf:10,
+RI:isabelle:10,
+rabe:combining:10:biblatex,
+CHKMR:hiding:11,
+CHKMR:hiding:10,
+IR:foundations:10,
+DLR:jobad:10,
+kristina:ml_fol,
+rabe:isalf:10,
+CHKMRS:lfhets:10,
+DHS:algebra:09,
+rabeEA:folsound-lf:09,
+project:mmtlf,
+RS:twelfmod:09,
+AR:lamkrip:09,
+AR:lamkrip_long:09,
+KLMMR:notations-tr:2009,
+rabeEA:presentation:09,
+rabe:gi:09,
+HR:folsound:09,
+project:latin,
+rabe:mmt:09,
+RK:keappa:08,
+SR:dfol_fol:08,
+BRS:tptphol:08,
+rabe:thesis:08,
+RPSS:moloss:07,
+GMPRS:catlog:07,
+rabe:graphs:07,
+rabe:instlf:07,
+rabe:moloss:06,
+rabe:dfol:06,
+rabeEA:promela:05,
+cmueller:thesis:10,
+BenBroKoh:csil06,
+BenBroKoh:lmcs09,
+Kohlhase:oaifocdi00,
+KohFra:rkcimss01,
+sTeX:online,
+LATIN:online,
+JOMDoc:on,
+PhysML:web,
+OMBase:web,
+locutor:on,
+OMDocDocOnto:on,
+KWARC:web,
+JOBAD:demo,
+JOBAD:on,
+docOnto:web,
+Kohlhase:GenCSI:on,
+Kohlhase:GenCSIproblems:on,
+Kohlhase:GenCSIsolutions:on,
+Kohlhase:GenCSII:on,
+Kohlhase:PlanetGenCS:on,
+Kohlhase:GenCSIIproblems:on,
+Kohlhase:GenCSIIsolutions:on,
+KohSuc:asemf06,
+ArmKoh:cpmsbko00,
+arXMLiv-buildsys:online,
+arXMLiv-frontend:online,
+arXMLiv:online,
+arXMLiv:demo:online,
+sTeXIDE:online,
+AspKoht:mimp02,
+NorKoh:efnrsmk07,
+KohKoh:rmvp07,
+KohKoh:skmfe08,
+BenzmuellerEtAl:otama97,
+BenKoh:ehor98,
+BlaBos:atpfnlu98,
+ClaKoh:ratp03,
+ClaKoh:sda03,
+HuKe:katfad94,
+HKK94a,
+HuKe94b,
+AK:mbase06,
+LanKoh:swim06,
+Kohlhase:albwo06,
+Kohlhase:shlssc06,
+NRM:omdoc2vf06,
+Kohlhase:OAFFlexiForms10,
+Kohlhase:SemiformalizationDef09,
+OAFF:online,
+JoKo:uiaelc94,
+KeKo:mpwri97,
+KeKoSo:icawpp96,
+KohKoh:cdad04,
+JesKohSei:DMV04,
+KohKoh:copmem06,
+HilKohSta:copmem06,
+KohKoh:esmk05,
+Kohlhase:hoatp98,
+Kohlhase:atpm98,
+Kohlhase94b,
+Kohlhase:uiostt92,
+KohAng:tccmvc03,
+HanKoh:atcnl03,
+KohKol:ttmlu00,
+KohSut:amcas02,
+Kohlhase:autxdm03,
+LanKoh:swmkm06,
+SiekmannEtAl:pdwo02,
+TNTVDSkel:URL,
+TNTVDUseCases:URL,
+TNTBaseIntegration,
+Rabe:TNTBaseMMTPlugin,
+OMDoc:svn,
+OMDocRNC:URL,
+OMDocXSD:URL,
+mathweb.org:svn,
+OMDocXSL:URL,
+OMDoc-mailinglists:URL,
+mkm-mailinglists:URL,
+ek:dsxcc,
+Kohlhase:hoatp-lnai,
+MuKo:pr07-small,
+KohSim:escpmge01,
+CD:inference-rules,
+OMDocDTD:URL,
+FormalSafeProposal,
+MWSProj:on,
+SieHes:adgui98,
+CPoint:Web,
+AspKohSac:dtdop03,
+Laubner:utgmm07,
+w3c:web:mathml,
+W3C:MathML2:biblatex,
+CarIon:MathML03,
+AutEbe:dkmvc03,
+BenBroKoh:hose04,
+BenBroKoh:cexf08,
+FraKoh:mrmkrdb99,
+BenKoh:lahotp98,
+BenKoh:mefhol97,
+BenKoh:rfhm97,
+BenKohBro:hose03,
+BlaKoh:ics04,
+BlaBos:iacs98,
+BlaBosKoh:iacs01,
+BlaBos:iacs99,
+BusCapCar:2oms04,
+EggGarKoh:sid98,
+KerKoh:fmds94,
+KerKoh:pwtc96,
+EggKoh:dcqs97,
+EggKoh:uqs97,
+FraKoh:cwmik99,
+FraKoh:dm99,
+FraHes:aoidms99,
+FraKoh:mabdl99,
+FraKoh:sdmaomkb00,
+GarKoh:cpid97,
+GarKoh:fahou96,
+GarKoh:hocuanls96,
+GarKohKon:hocuala99,
+GarKohKon:hocuala97,
+GarKohKon:chou96,
+GarKoh:hounls96,
+GarKoh:hfhou96,
+GarKohLeu:cahou96,
+BanKoh:mmlof07,
+HeJuKoSo:aidms98,
+HuangEtAl:SR-92-20,
+HuKe:oapde94,
+HuKe:oapde92,
+HuKe94a,
+HutKoh:msihocu00,
+HutKoh:acvotlc97,
+KohSch:homvr95,
+HuaKerKoh:oma95,
+Kohlhase:msholbrp94,
+HuKo:acvotl95,
+JoKo93,
+KeKo94,
+KeKo:arcfp96,
+KerberKohlhase97a,
+KeKo:atcfpf96,
+KeKo93a,
+KeKoSo:icaipp98,
+KeKoSo96,
+Kohlhase:ophcie05,
+Kohlhase:omdoc05,
+Kohlhase:emPowerPoint,
+Kohlhase:MediaOrMedeaSociety,
+Kohlhase:CPointMUI,
+Kohlhase:CPointWiederverwendbarerContent,
+Kohlhase:UserAsPrisoner,
+Kohlhase:horwc93,
+Kohlhase92,
+Kohlhase:mgfdrt00,
+Kohlhase:OMDoc1.2,
+AKo:SPoKMaEL,
+BosKoh:icos-editorial03,
+MuKo:pr07,
+KoMaMu:MViDCaNS,
+WaMu:TCoPSfIMA,
+CM:TtIaSosCoP07,
+CM:PoEIaSSCoPbosmosdawt,
+Lange:swmkm-ui07,
+KohMueMue:dfncimk07,
+KohLanRab:pmcfe07,
+Kohlhase04:stex,
+Kohlhase:omfmd01,
+Kohlhase:corfl00,
+Kohlhase:otisadt00,
+Kohlhase:otormd00,
+Kohlhase:sat96,
+Kohlhase:hotwc96,
+Kohlhase:hot95,
+Kohlhase94a,
+Kohlhase:amosho94,
+Kohlhase:hoosr94,
+Kohlhase:aupfeh93,
+Kohlhase91,
+Kohlhase89,
+Kohlhase:ulsmf08,
+KohCar:ggm03,
+KohDev:bvm03,
+DevKoh:stm03,
+KohKol:ramgpm03,
+KohKon:mgfdrt99,
+KohKon:hoatpnls98,
+KohKus:clausdlc97,
+KohKus:dlc97,
+KohKusPin:attsfl96,
+KoPf:uialcw93,
+KerKoh:rwb11,
+WolGriKoh:udc11,
+KohSch99:homvr,
+KohSim:inid02,
+PinKoh:flfdt00,
+Giceva:WSActiveMathDoc09,
+Broecheler:tmsw07,
+LOUI98-UITP,
+SieHes:loui99,
+SieBen:acgap00,
+SieKohMel:oema98,
+ZimKoh:tmsbdmr02,
+planetmathredux:on,
+pantarheiredux:on,
+MathWebSearch:online,
+Kohlhase:pplp:ctan,
+Kohlhase:pdrp:ctan,
+Kohlhase:pfepr:ctan,
+Kohlhase:ed:ctan,
+KohAmb:smmssl:ctan,
+Kohlhase:ipsmsl:ctan,
+Kohlhase:smp:ctan,
+Kohlhase:reqdoc:ctan,
+Kohlhase:physml:ctan,
+Kohlhase:dcm:ctan,
+Kohlhase:workaddress:ctan,
+Kohlhase:assignment:ctan,
+Kohlhase:problem:ctan,
+Kohlhase:sref:ctan,
+Kohlhase:metakeys:ctan,
+Kohlhase:rdfmeta:ctan,
+Kohlhase:owl2onto:ctan,
+Kohlhase:smms:ctan,
+Kohlhase:tbscml:ctan,
+Kohlhase:clbscm:ctan,
+Kohlhase:smomdl:ctan,
+Kohlhase:smmtf:ctan,
+Kohlhase:ssmtl:ctan,
+Kohlhase:atpm98chapter,
+Kohlhase:codemlspec,
+brownhorozal07,
+Kohlhase:friomkb01,
+LZ:OWLChangeRefactorXMLDB10,
+DLKA:ProtoBrowserListedBuildSMW10,
+HutKoh:OMoCProposal06,
+KohMue:added-value07,
+GraZho:rest2011,
+Zholudev:TNTBaseRESTful:base,
+Zholudev:TNTBaseORES:base,
+krextor:webpage,
+Lange:PhD:plain,
+Lange:PhD:book:plain,
+OpenMathWiki:base,
+RDFaHostLanguages,
+Lange:SWiMSubversionClient,
+Lange:wiki-argu-draft,
+flyspeck-wiki:web,
+swim-bugzilla,
+swim-roadmap,
+NMueller:PhD,
+Kohlhase:InvasiverEditor,
+Kohlhase:pufmp08,
+Planetary:on,
+PlanetaryEPCMilestone:on,
+EPCsystem:on,
+LinkedLectures,
+PlanetGenCS:on,
+PlanetLATIN:on,
+PlanetBox:on,
+Kohlhase:SemanticPowerPoint,
+Kohlhase:PPTforChildren,
+Kohlhase:EngagingPPT,
+Kohlhase:LearnerAndLearningTechnology,
+Reichel:FolksonomiesAsEmbodiedActions,
+Reichel:EmbodiedConceptualizations,
+KohlhaseReichel:FuzzyLinePrivatePublic,
+Anca:NLMPforATS09,
+Anca:matesearch07,
+Horozal07,
+DHK:algebra:09,
+IVEB:SemEnabBusProcDisc10,
+DGKC:eMath30,
+FA:MathKnowReprEduSemWebLearnStyle10,
+DR:filtering:10,
+Dumbrava:sshelf,
+rabe:bslreview:10,
+KohKoh:tcmff10,
+ako:MicrodataVsRDFa,
+Kohlhase:MailGenericMetadata2008,
+Kohlhase:STS-RelaxNG08,
+KohSuc:mwssse07,
+xslt:web,
+mmlkit:web,
+vzamdzhiev:bscthesis,
+mcirlanaru:bscthesis,
+OntoIOpOASIS2001,
+Stamerjohanns:latexmleditor,
+AA:IPRaaCT,
+OMDoc:wiki,
+OMDocUG:web,
+Grigore-10,
+latexml:branch:online,
+latexml-daemon,
+Ginev:OnDigitalCorpora,
+Ginev:TowardsABuildSystemForDigitalCorpora,
+MGG:email,
+Kuryla:OWLtoOMDocTranslation09,
+Ontohub,
+lange05:wiki,
+lange06:wikiblog,
+% from crossrefs
+OpenJEM07,
+JEM08,
+IJCAI03-KR,
+CADE15-WS-PSMAD,
+ICOS00,
+BosKoh:ICOS2-LJIGPL04,
+ICOS01,
+KI06,
+CADE15-WS-AI,
+CALCULEMUS00,
+MKM05
+}
+%%% Local Variables: 
+%%% mode: LaTeX
+%%% TeX-master: "kwarcpubs"
+%%% End: 

kbibs/src/kwarcpubs.tex

+\documentclass{article}
+\usepackage{url,a4wide,paralist}
+\usepackage{publist}
+\addbibresource{kwarcpubs.bib}
+\addbibresource{extpubs.bib}
+\addbibresource{kwarccrossrefs.bib}
+\addbibresource{extcrossrefs.bib}
+
+\title{KWARC Publications {\recentsince}-\the\year}
+\author{Michael Kohlhase}%\\
+% Professor of Computer Science\\
+% Jacobs University\\
+% \url{http://kwarc.info/kohlhase}}
+%\renewcommand{\baselinestretch}{.97}
+\begin{document}
+\def\recentsince{2011}
+\maketitle
+
+\input{kwarcnocites}
+\publist[since=2011
+, books
+,proceedings,
+%,grayproceedingsnum=15
+,articles
+,chapters
+,incollections
+,confpapers
+%,wsnum=40
+,standards
+,reports
+,theses
+,submitted
+]
+ \end{document}
+
+%%% Local Variables: 
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% End: 
+
+% LocalWords:  KWARC daptation easoning Ph Normann Rabe Normen uller Lange DFKI
+% LocalWords:  Vyacheslav Zholudev Achim Mahnke Kohlhase Fulya Horozal RAs rmvp
+% LocalWords:  athematical uments emPowerPoint sutsmf LanKoh swmkm KoMaMu pmcfe
+% LocalWords:  MViDCaNS KohMueMue dfncimk KohLanRab NorKoh efnrsmk KohKoh asemf
+% LocalWords:  copmem HilKohSta RabKoh WSMSML KohSuc mwssse ar BenBroKoh cexf
+% LocalWords:  csil BanKoh mmlof DFG IP NL GenCSI EECS th JEM OpenJEM Saarland
+% LocalWords:  NIST kwarc ontent Standort SKS uckner Hutter des Deutschen GRE
+% LocalWords:  Volkes Bateman Aschenbeck Verlag SES JCLL onw Baumann SYCEN und
+% LocalWords:  Fachgruppentreffen DedSys Logik Risiko Vertrauen maketitle Deyan
+% LocalWords:  Hochschulauswahl Ginev Iacob Stamerjohanns urich compactenum
+% LocalWords:  SiSsi textbf CALCULEMUS Fachinformationszentrum newpage wspapers
+% LocalWords:  printmypubs grayproceedingsnum incollections confpapers nocites

kbibs/src/ltxml/crossrefs.xsl

+<?xml version="1.0" encoding="UTF-8"?>
+<!-- pull back the crossrefs in LaTeXML-generated bib.XML -->
+<xsl:stylesheet version="1.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+		xmlns:ltx="http://dlmf.nist.gov/LaTeXML">
+
+  <!-- normally we just copy -->
+  <xsl:template match="*|@*|text()">
+    <xsl:copy>
+      <xsl:apply-templates select="*|@*|text()"/>
+    </xsl:copy>
+  </xsl:template>
+
+  
+  <!-- for a cross-reference we just copy over what we need,
+          proceedings and books need to be treated specially --> 
+  <xsl:template match="ltx:bib-related[@role='host' and @bibrefs]">
+    <xsl:variable name="bibref" select="@bibrefs"/>
+    <xsl:variable name="target" select="//ltx:bibentry[@key=$bibref]"/>
+    <xsl:choose>
+      <xsl:when test="$target/@type='proceedings' or $target/@type='book' or $target/@type='collection'">
+	<xsl:copy>
+	  <xsl:copy-of select="@*[local-name()!='bibrefs']"/>
+	  <xsl:attribute name="type"><xsl:value-of select="$target/@type"/></xsl:attribute>
+	  <xsl:apply-templates select="$target/*"/>
+	</xsl:copy>
+      </xsl:when>
+      <xsl:otherwise>
+	<xsl:apply-templates select="*"/>
+      </xsl:otherwise>
+    </xsl:choose>
+  </xsl:template>
+
+  <!-- delete all other bib-related (LaTeXML copies some stuff over). -->
+  <xsl:template match="ltx:bib-related"/>
+</xsl:stylesheet>
+