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