TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Default reasoning via blocking sets
Y1  - 1999
ER  -