Automated reasoning with Otter - Kalman, John Arnold (Rinton Press, 2001)
Puno ime autora: John Arnold Kalman
Stv. nasl. s naljepnice diska
CD-ROM je priložen uz knjigu: Automated reasoning with Otter
Publikacija u formatu PDF; sadrži 532 str.