Non-monotonic logic II: Non-monotonic model theories. (1982)

by D V McDermott
Venue:Journal of ACM,