@book{46598,
	author = {HUTH MICHAEL},
	title = {LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING},
	publisher = {CAMBRIDGE UNIVERSITY PRESS},
	year = {2005},
	address = {INDIA}
}