Gerhard Brewka;Jürgen Dix;Kurt Konolige
-;-;-
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods