@book{8836,
	author = {Symposium on Automatic Demonstration, France, Dec. 1968 and Laudet, M ; ed.},
	title = {Automatic demonstration; proceedings},
	publisher = {Springer-Verlag},
	year = {1970},
	address = {Berlin}
}