Default Reasoning via Blocking Sets.

Thomas Linke, Torsten Schaub

Browse the full LPNMR paper archive.