Login / Signup

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

Bernhard GramlichReinhard Pichler
Published in: CADE (2002)
Keyphrases