Gottlob, G., & Pichler, R. (2001). Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models.
Chicago-referens (17:e uppl.)Gottlob, G., och R. Pichler. Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. 2001.
MLA-referens (9:e uppl.)Gottlob, G., och R. Pichler. Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. 2001.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.