Negation by Default and Unstratifiable Logic Programs

Nicole Bidoit, Christine Froidevaux. Negation by Default and Unstratifiable Logic Programs. Theoretical Computer Science, 78(1):86-112, 1991.

Abstract

Abstract is missing.