Automated proof search in non-classical logics: efficient matrix proof methods for modal and intu… by Wallen, Lincoln A. fromArtificial intelligence 0 Type: Book
