American Psychological Association 6th edition

Gebser, M. [ca. 2011]. Proof theory and algorithms for answer set programming [Cd]. Potsdam: Universitätsbibliothek der Universität Potsdam. https://doi.org/urn:nbn:de:kobv:517-opus-55425

ISO-690 (author-date, English)

GEBSER, Martin, 2011. Proof theory and algorithms for answer set programming. Potsdam: Universitätsbibliothek der Universität Potsdam.

Modern Language Association 9th edition

Gebser, M. Proof theory and algorithms for answer set programming. cd, Universitätsbibliothek der Universität Potsdam, 2011, https://doi.org/urn:nbn:de:kobv:517-opus-55425.

Mohr Siebeck - Recht (Deutsch - Österreich)

Gebser, Martin: Proof theory and algorithms for answer set programming, Potsdam 2011.

Emerald - Harvard

Gebser, M. (2011), Proof theory and algorithms for answer set programming, Bd. , Universitätsbibliothek der Universität Potsdam, Potsdam, verfügbar unter:https://doi.org/urn:nbn:de:kobv:517-opus-55425.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.