@book{86845,
	author = {Korfhage, Robert R.},
	title = {Logic and algorithms,},
	publisher = {John Wiley,},
	year = {[1966]},
	address = {New York :}
}