@book{31804,
	author = {BRADLEY AND MANNA and NO},
	title = {CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERTIFICATION},
	publisher = {SPRINGER},
	year = {2010}
}