APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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