@book{106071,
	author = {HUTH MICHAEL A},
	title = {LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING },
	publisher = {CAMBRIDGE PRESS},
	year = {2004},
	address = {NEW DELHI},
	edition = {2 ed.}
}