Working with Arms: Complexity Results on Atomic Representations of Herbrand Models.

Georg Gottlob, Reinhard Pichler

Browse the full LICS paper archive.