TY  - THES
A1  - Kaufmann, Benjamin
T1  - High performance answer set solving
Y1  - 2015
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/7248
ER  -