APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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