@article{LinkeSchaub1999,
  author    = {Thomas Linke and Torsten H. Schaub},
  title     = {Default reasoning via blocking sets},
  year      = {1999},
}