@book{105197,
	author = {HARRISON},
	title = {HANDBOOK OF PRACTICAL LOGIC AND AUTOMATED REASONING},
	publisher = {CAMBRIDGE UNIVERSITY},
	edition = {1}
}