Nonmonotonic Logic (1993)

by V W Marek, M Truszczynski