Perfect Model Semantics for Logic Programs with Equality

L. Bachmair,H. Ganzinger
Abstract:
What problem does this paper attempt to address?