APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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