@Bibtex-file{Misc/Pape.bib,
  title =        "Christian Pape's bibliography of computer science",
  author =       "Christian Pape",
  email =        "pape@ira.uka.de",
  supported =    "yes",
  keywords =     "hypertext, hypermedia, multimedia, learning, training,
                 theorem proving, automated deduction, neural
                 networks,",
}