@book{2478,
	author = {Leblanc, Hugues},
	title = {Techniques of deductive inference.},
	publisher = {Prentice-Hall},
	year = {1966.},
	address = {Englewood Cliffs, N.J.}
}