J Logic Prog 2(4) (1985)

Journal of Logic Programming  

Gabbay, D.M. (1985) Gabbay, D.M. "N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure"