Negation by Default and Non Stratifiable Logic Programs (1988)

by N Bidoit, Ch Froixdevaux