@book{133,
	author = {International Conference on Automated Deduction and Shostak, R. E.},
	title = {7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /},
	publisher = {Springer,},
	year = {1984},
	address = {Berlin :}
}