Default Rules: An Extension of Constructive Negation for Narrowing-based Languages

Juan José Moreno-Navarro. Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. In ICLP. pages 535-549, 1994.

Abstract

Abstract is missing.