Formal Methods for Nonmonotonic and Related Logics : Vol II | lit.salon