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