Overview
Under construction: Automatic Import from the KWARC.bib
People Publications
- Michael Kohlhase
- Heinrich Stramerjohanns
- Andrea Kohlhase
- Immanuel Normann
- Florian Rabe
- Normen Mueller
- Christoph Lange
- Christin Mueller
- Aachim Mahnke
- Vyacheslav Zholudev
- Fulya Horozal