Title: Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II : Vol. I : Preference and Size / Vol. II
Subjects: Computer science