Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Show other versions (1)

Bibliographic Details
Main Authors:	Gottlob, G, Pichler, R
Format:	Journal article
Published:	2001

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

Working with Arms: Complexity Results on Atomic Representations of Herbrand Models by Gottlob, G, Pichler, R

Published 1999

Conference item