@book{4727,
	author = {DUFFY, DAVID A.},
	title = {PRINCIPLES OF AUTOMATED THEOREM PROVING/ },
	publisher = {JOHN WILEY},
	year = {1991},
	address = {CHICHESTER: },
	note = {INCLUYE INDICE. \ BIBLIOGRAFIA: P. 225-232.}
}