@book{280848,
	author = {Asian Logic Conference and Chong, C.-T. and ProQuest (Firm)},
	title = {Proceedings of the 11th Asian Logic Conference},
	publisher = {World Scientific,},
	year = {c2012.},
	address = {Hackensack, N.J. :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=840681}
}