Documents Savoirs Proof theory and algorithms for answer set programming [Elektronische Ressource] / Martin Gebser. Betreuer: Torsten Schaub Martin Gebser