Automated reasoning with Otter - Kalman, John Arnold (Rinton Press, 2001)
Knjizi je priložen CD-ROM: Automated reasoning with Otter