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

Bernhard Gramlich, Reinhard Pichler. Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. In Andrei Voronkov, editor, Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings. Volume 2392 of Lecture Notes in Computer Science, pages 241-259, Springer, 2002. [doi]

Abstract

Abstract is missing.