@article{LinkeSchaub1999,
  author    = {Thomas Linke and Torsten H. Schaub},
  title     = {On bottom-up pre-processing techniques for automated default reasoning},
  year      = {1999},
}