@article{LinkeSchaub1995,
  author    = {Thomas Linke and Torsten H. Schaub},
  title     = {Lemma handling in default logic theorem provers},
  year      = {1995},
}