GEBSER, Martin, 2011. Proof theory and algorithms for answer set programming. Potsdam: Universitätsbibliothek der Universität Potsdam.
Elsevier - Harvard (with titles)Gebser, M., 2011. Proof theory and algorithms for answer set programming. Universitätsbibliothek der Universität Potsdam, Potsdam. https://doi.org/urn:nbn:de:kobv:517-opus-55425
American Psychological Association 7th editionGebser, M. (ca. 2011). Proof theory and algorithms for answer set programming [Universitätsbibliothek der Universität Potsdam; Cd]. https://doi.org/urn:nbn:de:kobv:517-opus-55425
Springer - Basic (author-date)Gebser M (2011) Proof theory and algorithms for answer set programming. Universitätsbibliothek der Universität Potsdam
Juristische Zitierweise (Stüber) (Deutsch)Gebser, Martin, Proof theory and algorithms for answer set programming, Potsdam 2011.