TY  - JOUR
A1  - Brain, Martin
A1  - Faber, Wolfgang
A1  - Maratea, Marco
A1  - Polleres, Axel
A1  - Schaub, Torsten H.
A1  - Schindlauer, Roman
T1  - What should an ASP solver output? : a multiple position paper
Y1  - 2007
ER  - 
TY  - JOUR
A1  - Faber, Wolfgang
A1  - Konczak, Kathrin
T1  - Strong Equivalence for Logic Programs with Preferences
Y1  - 2005
UR  - http://www.cs.uni-potsdam.de/~konczak/Papers/fabkon05a.pdf
ER  -