Knowledge Processing and Information Systems Proof theory and algorithms for answer set programming
@phdthesis{DBLP:phd/de/Gebser2011,
title = {Proof theory and algorithms for answer set programming},
author = {Gebser, Martin},
school = {University of Potsdam},
year = {2011}
}