Perfect Model Semantics for Logic Programs with Equality.

Leo Bachmair, Harald Ganzinger

Browse the full ICLP paper archive.