minor adjustments made by me + added some links to kwarc.bib . If needed and not cool, reverse to rev 18727.
minor adjustments made by me + added some links to kwarc.bib . If needed and not cool, reverse to rev 18727.

git-svn-id: cf47ee4d6e92cb36b45e66c62b700e0eeb53b55c@18730 dbb300ad-cee0-0310-926a-aaf367d45816

KWARC/bibs,KWARC/bibs