Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II : Vol. I : Preference and Size / Vol. II | lit.salon