Gottlob, G., & Pichler, R. (2001). Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models.
Chicago-čujuhus (17. p.)Gottlob, G., juo R. Pichler. Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. 2001.
MLA-čujuhus (9. p.)Gottlob, G., juo R. Pichler. Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. 2001.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.