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