@inproceedings{DBLP:conf/lpnmr/LinkeS99,
  author = {Linke, Thomas and Schaub, Torsten},
  title = {Default Reasoning via Blocking Sets},
  booktitle = {{LPNMR}},
  series = {Lecture Notes in Computer Science},
  volume = {1730},
  pages = {247--261},
  publisher = {Springer},
  year = {1999}
}