TY  - JOUR
A1  - Gerbser, Martin
A1  - Schaub, Torsten H.
T1  - Characterizing (ASP) inferences by unit propagation
Y1  - 2006
ER  - 
TY  - JOUR
A1  - Gerbser, Martin
A1  - Lee, Joohyung
A1  - Lierler, Yuliya
T1  - Elementary sets for logic programs
Y1  - 2006
SN  - 978-1-57735-281-5
ER  - 
TY  - JOUR
A1  - Gerbser, Martin
A1  - Schaub, Torsten H.
T1  - Tableau calculi for answer set programming
Y1  - 2006
UR  - http://www.cs.uni-potsdam.de/wv/pdfformat/gebsch06c.pdf
U6  - https://doi.org/10.1007/11799573
SN  - 0302-9743
ER  -