@book{152981,
	author = {Asian Logic Conference and Downey, R. G. and ebrary, Inc.},
	title = {Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011},
	publisher = {World Scientific Pub. Co.,},
	year = {2013.},
	address = {Singapore :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10719594}
}