Title: Formal Methods for Nonmonotonic and Related Logics : Vol II
Subjects: Computer science