@book{104906,
	author = {HUTH AND RYAN},
	title = {LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS},
	publisher = {CAMBRIDGE},
	edition = {2}
}