@book{31444,
	author = {Wos, Larry},
	title = {Automated reasoning},
	publisher = {Prentice-Hall},
	year = {1988},
	address = {New Jersey}
}