APA (7th ed.) Citation

Kalman, J. A. (2001). Automated reasoning with OTTER. Rinton Press.

Chicago Style (17th ed.) Citation

Kalman, John Arnold. Automated Reasoning with OTTER. Princeton, NJ: Rinton Press, 2001.

MLA (9th ed.) Citation

Kalman, John Arnold. Automated Reasoning with OTTER. Rinton Press, 2001.