@book{131174,
	author = {Howson, Colin.},
	title = {Logic with trees :},
	publisher = {Routledge,},
	year = {1997.},
	address = {London ;},
	url = {http://www.loc.gov/catdir/enhancements/fy0649/96007315-d.html}
}