@book{103346,
	author = {Duffy, David A.},
	title = {Principles of automated theorem proving},
	publisher = {Wiley},
	year = {c1991.},
	series = {Wiley professional computing},
	address = {Chichester}
}