Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011 - Downey, R. G. (Rod G.) (World Scientific Pub. Co., 2013)