APA (7th ed.) Citation

Wallen, L. A. (1990). Automated proof search in non-classical logics: Efficient matrix proof methods for modal and intuitionistic logics. MIT Pr.

Chicago Style (17th ed.) Citation

Wallen, Lincoln A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. Cambridge, Mass. u.a: MIT Pr, 1990.

MLA (9th ed.) Citation

Wallen, Lincoln A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. MIT Pr, 1990.