foundations for nonmonotonic reasoning in expert systems,” Logics and Models of Concurrent Systems (1985)

by “Theoretical D Gabbay
Venue:ASI Series, Vol.F13