@book{140206,
	author = {Asian Logic Conference and Arai, T. and ebrary, Inc.},
	title = {Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008},
	publisher = {World Scientific,},
	year = {c2010.},
	address = {Hackensack, NJ :},
	note = {"The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan."--Pref.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10422074}
}