发送短信: Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011