%0 Thesis %1 gebser2011proof %A Gebser, Martin %D 2011 %K %T Proof theory and algorithms for answer set programming

@phdthesis{gebser2011proof, added-at = {2023-12-12T20:00:43.000+0100}, author = {Gebser, Martin}, biburl = {https://www.bibsonomy.org/bibtex/224515fa99364297803b3f411561bc2fc/admin}, dnbtitleid = {1020596252}, interhash = {293b0657119362f7b13a1e2f27648f59}, intrahash = {24515fa99364297803b3f411561bc2fc}, keywords = {}, school = {Uni Potsdam}, timestamp = {2023-12-12T20:00:43.000+0100}, title = {Proof theory and algorithms for answer set programming}, year = 2011 }