@book{720,
	author = {Kalman, John Arnold.},
	title = {Automated reasoning with Otter /},
	publisher = {Rinton Press,},
	year = {c2001.},
	address = {Princeton, N.J. :},
	note = {Includes index.}
}