@book{304587,
	author = {Asian Logic Conference and Downey, R. G. and ProQuest (Firm)},
	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 = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1223952}
}