Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models - Gottlob, G; Pichler, R (2001)