@phdthesis{DBLP:phd/de/Kaufmann15, title = {High performance answer set solving}, author = {Kaufmann, Benjamin}, school = {University of Potsdam}, year = {2015} }