Contradiction Resolving for Extended Logic Programs and Default Theories

Jia-Huai You, Li-Yan Yuan. Contradiction Resolving for Extended Logic Programs and Default Theories. In ILPS. pages 640, 1993.

Abstract

Abstract is missing.