TY  - JOUR
A1  - Gebser, Martin
A1  - Schaub, Torsten
T1  - Generic tableaux for answer set programming
Y1  - 2007
ER  -