APA (7th ed.) Citation

Kalman, J. A. (2001). Automated reasoning with Otter / John Arnold Kalman ; with a foreword by Larry Wos. Rinton Press.

Chicago Style (17th ed.) Citation

Kalman, John Arnold. Automated Reasoning with Otter / John Arnold Kalman ; with a Foreword by Larry Wos. Princeton, N.J.: Rinton Press, 2001.

MLA (9th ed.) Citation

Kalman, John Arnold. Automated Reasoning with Otter / John Arnold Kalman ; with a Foreword by Larry Wos. Rinton Press, 2001.

Warning: These citations may not always be 100% accurate.