TY  - THES
A1  - Kaufmann, Benjamin
T1  - High performance answer set solving
Y1  - 2015
ER  -