APA

Wallen L., Wallen L. A., . (1990). Automated proof search in non-classical logics. Cambridge, Mass. [u.a.]: MIT Pr.

Chicago

Wallen Lincoln, Wallen Lincoln A, . 1990. Automated proof search in non-classical logics. Cambridge, Mass. [u.a.]: MIT Pr.

Harvard

Wallen L., Wallen L. A., . (1990). Automated proof search in non-classical logics. Cambridge, Mass. [u.a.]: MIT Pr.

MLA

Wallen Lincoln, Wallen Lincoln A, . Automated proof search in non-classical logics. Cambridge, Mass. [u.a.]: MIT Pr. 1990.