@book{144,
	author = {International Conference on Automated Deduction and Siekmann, Jorg H.,},
	title = {8th International Conference on Automated Deduction,},
	publisher = {Springer,},
	year = {1986},
	address = {Berlin :},
	note = {Spine title: CADE-8}
}