A Three-Valued Characterization for Strong Equivalence of Logic Programs

Pedro Cabalar. A Three-Valued Characterization for Strong Equivalence of Logic Programs. In AAAI/IAAI. pages 106-111, 2002.

Abstract

Abstract is missing.