Automated proof search in non-classical logics: efficient matrix proof methods for modal and intu… by Mignucci, Mario, Wallen, Lincoln fromMIT Press series in artificial intelligence 0 Type: Book
