@book{5999,
	author = {Huth, Michael and Ryan, Mark},
	title = {Logic in computer science : modelling and reasoning about systems},
	publisher = {Cambridge university press},
	year = {2010},
	address = {UK}
}