Formal Methods for Nonmonotonic and Related Logics

Bok av Schlechta