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