APA-Zitierstil (7. Ausg.)

Thistlewaite, P. B., McRobbie, M. A., & Meyer, R. K. (1988). Automated theorem-proving in non-classical logics. Pitman u.a.

Chicago-Zitierstil (17. Ausg.)

Thistlewaite, Paul B., Michael A. McRobbie, und Robert K. Meyer. Automated Theorem-proving in Non-classical Logics. London: Pitman u.a, 1988.

MLA-Zitierstil (9. Ausg.)

Thistlewaite, Paul B., et al. Automated Theorem-proving in Non-classical Logics. Pitman u.a, 1988.