@book{2082,
	author = {Fitting, Melvin,},
	title = {First-order logic and automated theorem proving /},
	publisher = {Springer,},
	year = {c1996.},
	address = {New York :},
	edition = {2nd ed.}
}