TY  - JOUR
A1  - Gerbser, Martin
A1  - Schaub, Torsten H.
T1  - Characterizing (ASP) inferences by unit propagation
Y1  - 2006
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/12212
ER  -