Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations.

Bernhard Gramlich, Reinhard Pichler

Browse the full CADE paper archive.