Skip to main content

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

Georg Gottlob and Reinhard Pichler

Journal
Inf. Comput.
Number
2
Pages
183−207
Volume
165
Year
2001