APA stil citiranja
Kalman, J. A. (2001). Automated reasoning with Otter: Automated reasoning with Otter. Princeton: Rinton Press.
Chicago stil citiranjaKalman, John Arnold. Automated reasoning with Otter: Automated reasoning with Otter. Princeton: Rinton Press, 2001.
MLA stil citiranjaKalman, John Arnold. Automated reasoning with Otter: Automated reasoning with Otter. Princeton: Rinton Press, 2001.
Napomena: Ova citiranost nije uvijek 100% točna.