APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Thistlewaite, Paul B., M. A. McRobbie, and Robert K. Meyer. Automated Theorem-proving in Non-classical Logics. London : New York: Pitman ; Wiley, 1988.

MLA (9th ed.) Citation

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