Dov M. Gabbay N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. [Citation Graph (6, 0)][DBLP] J. Log. Program., 1985, v:2, n:4, pp:251-283 [Journal]
Dov M. Gabbay N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. [Citation Graph (6, 0)][DBLP] J. Log. Program., 1985, v:2, n:4, pp:251-283 [Journal]