@book{151,
	author = {International Conference on Automated Deduction and Lusk, E.,},
	title = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings /},
	publisher = {Springer,},
	year = {1988},
	address = {Berlin :}
}