M.: Theoretical foundations for nonmonotonic reasoning in expert systems (1985)

by D Gabbay
Venue:Logics and Models of Concurrent Systems, Berlin and