@book{82894,
	author = {Howson, Colin},
	title = {Logic with trees},
	publisher = {Routledge},
	year = {1997},
	address = {London}
}