N-Prolog: An Extension of Prolog with Hypothetical Implications (1984)

by D M Gabbay, U Reyle
Venue:I. Journal of Logic Programming