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